function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

combining cfg and recursive functions to get a new language

We propose a new functional programming language(FPL) which differs in some aspects from most well known FPLs[l].We descrihc the prohlmm domain,the language,explain why we need it.

smoothing document language model with local word graph

ACM SIGIR; ACM SIGWEB

Recuperação de mata ciliar e reserva legal florestal no noroeste paulista.

2009

Cadernos de geoprocessamento (1): Roteiro prático para a definição de APPs e Reserva Legal no Sisleg usando o software gvSIG.

2010

Caracterização dos padrões espaciais e temporais das queimadas na Amazônia Legal.

O trabalho divulga os resultados de uma pesquisa em andamento no Centro, sobre as queimadas. Esta pesquisa originou-se após as queimadas e incêndios ocorridas em Rorais e que alertaram a opinião pública nacional e internacional sobre esse grave fenômeno. A Embrapa-NMA teve participação de destaque, auxiliando o combate ao fogo, através da instalação, em Boa Vista, de um sistema de aquisição, tratamento e distribuição de imagens dos satélites NOAA. Esse sistema permitia a detecção e a identificação dos focos de fogo em todo o Estado, orientando as equipes de controle e combate. Recuperando e valorizando os dados obtidos em oito ano de monitoramento orbital - quanto a ocorrência, localização, dinâmica espacial e temporal das queimadas em todo o território nacional, a unidade identificou, através de técnicas de geoestatística, os padrões espaciais e temporais relevantes do fenômeno em toda a região da Amazônia Legal.

Dinâmica espaço temporal das queimadas na Amazônia Legal nos anos de 2003 e 2004.

2005

Natural Language Syntax and First Order Preference

We have argued elsewhere that first order inference can be made more efficient by using non-standard syntax for first order logic. In this paper we show how a fragment of English syntax under Montague semantics provides the foundation of a new inference procedure. This procedure seems more effective than corresponding procedures based on either classical syntax of our previously proposed taxonomic syntax. This observation may provide a functional explanation for some of the syntactic structure of English.

Computational Consequences of Agreement and Ambiguity in Natural Language

The computer science technique of computational complexity analysis can provide powerful insights into the algorithm-neutral analysis of information processing tasks. Here we show that a simple, theory-neutral linguistic model of syntactic agreement and ambiguity demonstrates that natural language parsing may be computationally intractable. Significantly, we show that it may be syntactic features rather than rules that can cause this difficulty. Informally, human languages and the computationally intractable Satisfiability (SAT) problem share two costly computional mechanisms: both enforce agreement among symbols across unbounded distances (Subject-Verb agreement) and both allow ambiguity (is a word a Noun or a Verb?).

The Behavior Language; User's Guide

The Behavior Language is a rule-based real-time parallel robot programming language originally based on ideas from [Brooks 86], [Connell 89], and [Maes 89]. It compiles into a modified and extended version of the subsumption architecture [Brooks 86] and thus has backends for a number of processors including the Motorola 68000 and 68HCll, the Hitachi 6301, and Common Lisp. Behaviors are groups of rules which are activatable by a number of different schemes. There are no shared data structures across behaviors, but instead all communication is by explicit message passing. All rules are assumed to run in parallel and asynchronously. It includes the earlier notions of inhibition and suppression, along with a number of mechanisms for spreading of activation.

Advanced Programming Language Features for Executable Design Patterns "Better Patterns Through Reflection

The Design Patterns book [GOF95] presents 24 time-tested patterns that consistently appear in well-designed software systems. Each pattern is presented with a description of the design problem the pattern addresses, as well as sample implementation code and design considerations. This paper explores how the patterns from the "Gang of Four'', or "GOF'' book, as it is often called, appear when similar problems are addressed using a dynamic, higher-order, object-oriented programming language. Some of the patterns disappear -- that is, they are supported directly by language features, some patterns are simpler or have a different focus, and some are essentially unchanged.