Sciweavers

3516 search results - page 30 / 704
» Programming Languages: Application and Interpretation
Sort
View
ESOP
2010
Springer
15 years 29 days ago
TRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
Adam Koprowski, Henri Binsztok
IFIP
2010
Springer
15 years 2 months ago
A Face Attention Technique for a Robot Able to Interpret Facial Expressions
Automatic facial expressions recognition using vision is an important subject towards human-robot interaction. Here is proposed a human face focus of attention technique and a faci...
Carlos Simplício, José Augusto Prado...
IFIP
2007
Springer
15 years 3 months ago
Semantic Context Reasoning Using Ontology Based Models
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
Rodrigo Mantovaneli Pessoa, Camilo Zardo Calvi, Jo...
DALT
2004
Springer
15 years 3 months ago
The Semantics of MALLET-An Agent Teamwork Encoding Language
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
Xiaocong Fan, John Yen, Michael S. Miller, Richard...
PPSN
1994
Springer
15 years 1 months ago
RPL2: A Language and Parallel Framework for Evolutionary Computing
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
Patrick D. Surry, Nicholas J. Radcliffe