Declarative Languages
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. Partícula interrogativa e pitch-accent frasal nas perguntas polares em fa d’Ambô
Resumo Apresentamos os recursos linguísticos para a realização de perguntas polares em fa d’Ambô (FA), a partir de um corpus formado por dados obtidos na Guiné Equatorial. Discutimos o (i) uso da partícula interrogativa final a; e a (ii) associação de pitch-accent frasal à última mora da palavra prosódica final da sentença, com alteração do a
Bol. Mus. Para. Emílio Goeldi. Ciênc. hum.. Publicado em: 02/12/2019
-
2. Echo questions in Brazilian Portuguese
RESUMO O Português Brasileiro (PB) pode ter o elemento-Q in-situ com dois tipos de entoação na sentença: (a) com a entoação ascendente de uma sentença interrogativa direta sim/não, caso em que ela é interpretada como pergunta-eco e (b) com a entoação descendente de uma sentença declarativa, caso em que ela é interpretada como uma pergunta-Q ordi
DELTA. Publicado em: 06/05/2019
-
3. An approach for embedded software generation based in declarative alloy models / Uma abordagem para geração de software embarcado baseada em modelos declarativos alloy
Este trabalho propõe uma nova abordagem para o desenvolvimento de sistemas embarcados, através da combinação da abstração e propriedades de verificação de modelos da linguagem declarativa Alloy com a ampla aceitação de Java na indústria. A abordagem surge no contexto de que a automação de software no domínio embarcado tornou-se extremamente nec
Publicado em: 2010
-
4. SUPPORTING THREE-DIMENSIONAL MEDIA OBJECT CONTROL AND PRESENTATION IN NCL / SUPORTE AO CONTROLE E À APRESENTAÇÃO DE OBJETOS DE MÍDIA TRIDIMENSIONAIS EM NCL
The world where we live in is physically formed by a three-dimensional space and it is natural human being wants to represent it as faithful as possible. In Web for example there are a lot of efforts in order to support the creation of interactive 3D applications, most of them based on scene graphs and route graphs. Scene graphs have become a standard for mo
Publicado em: 2010
-
5. Questões de prosódia: uma investigação, com apoio de instrumentais de análise fonético-acústica, dos padrões entoacionais de falantes bilíngües brasileiros e norte-americanos
This dissertation aims at investigating the prosodic patterns in the speech of bilingual American and Brazilian speakers. By means of acoustic phonetic analysis, the manner by which speakers structure the prosodic groups was investigated in light of models that underscore the discoursal and attitudinal functions of intonation. Analyses were carried out on va
Publicado em: 2008
-
6. Developing user interfaces for portable devices with declarative languages and web techonologies / Linguagens declarativas e tecnologias da web no desenvolvimento de interfaces de usuario de dispositivoss portateis
This work describes several problems related to user interface development that currently affect the industry of portable devices. We present a brief comparison between existing declarative languages based on XML related to user interface specification. We propose the use of XForms and CSS as an alternative to the current approach. In order to validate the p
Publicado em: 2005
-
7. X-SMIL: AUMENTANDO REUSO E EXPRESSIVIDADE EM LINGUAGENS DE AUTORIA HIPERMÍDIA / X-SMIL: IMPROVING REUSE AND EXPRESSIVENESS IN HYPERMEDIA AUTHORING LANGUAGES
Este trabalho está inserido no contexto de ambientes de autoria e execução hipermídia, sendo as linguagens declarativas para autoria de documentos o seu foco principal. Tendo-se como objetivo aumentar a expressividade e o reuso na especificação de documentos hipermídia, este trabalho introduz as linguagens XSMIL e NCL - Nested Context Language - vers�
Publicado em: 2005
-
8. Objetos Inteligentes Baseados em CLP para Aplicações Científicas
Constraint logic programming (CLP) is a programming language class based on logic programming together with constraint programming. It is derived from general research areas such as artificial intelligence, programming languages, and combinatorial optimization, and has been employed to model and solve many complex real problems. The objective of this work is
Publicado em: 2005
-
9. A natureza de AGR e suas implicações na ordem VS: um estudo comparativo entre o português brasileiro e o português europeu
In this thesis I do a comparative study between the Brazilian Portuguese Grammar (henceforth BP) and European Portuguese Grammar (henceforth EP) concerning to the word order, more specifically, with respect to the subject order in relation to the verb in finite declarative phrases. One defends that Verb-Subject order (VS) has been lost in the first language
Publicado em: 2004
-
10. RELATIONS IN HYPERMEDIA AUTHORING LANGUAGES: IMPROVING REUSE AND EXPRESSIVENESS / RELAÇÕES EM LINGUAGENS DE AUTORIA HIPERMÍDIA: AUMENTANDO REUSO E EXPRESSIVIDADE
Este trabalho está inserido no contexto de ambientes de autoria e execução hipermídia, sendo as linguagens declarativas para autoria de documentos o seu foco principal. Partindo de um estudo sobre linguagens de descrição de arquitetura (ADL), utilizadas para especificar arquiteturas de sistemas de software, esta tese identificou facilidades presentes e
Publicado em: 2003
-
11. Computer algebra in modern functional languages.
Many computer algebra systems have already been proposed and implemented. Most of them are implemented in or even implement languages without the referential transparency property, making it difficult, if not impractical, to reason about algebra programs. This dissertation presents a computer algebra system implemented as a library in the Haskell programming
Publicado em: 2001
-
12. UMA EXTENSÃO DE PROGRAMAÇÃO EM LÓGICA PARA O C CLOG / A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
The use of declarative languages based in logic programming has been spread out due to the great interest in Artificial Intelligence. However, the use of these languages is not evident yet due to performance, portability, integration to other languages capability and other restrictions. This work contains the definition and implementation of a logic programm
Publicado em: 1993