Sciweavers

4355 search results - page 470 / 871
» From Interpretation to Compilation
Sort
View
AAAI
2004
15 years 8 months ago
Adding Time and Intervals to Procedural and Hierarchical Control Specifications
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
Tran Cao Son, Chitta Baral, Le-Chi Tuan
AIA
2006
15 years 8 months ago
A Static Images Based-System for Traffic Signs Detection
The localization and interpretation of traffic signs by means of a wise-artificial system is one of the several applications of the recognizing-image techniques. In this work we p...
Valentin Moreno, Agapito Ledezma, Araceli Sanch&ia...
CLIMA
2004
15 years 8 months ago
Contextual Taxonomies
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
DAGSTUHL
2006
15 years 8 months ago
Subjectivity in Clone Judgment: Can We Ever Agree?
An objective definition of what a code clone is currently eludes the field. A small study was performed at an international workshop to elicit judgments and discussions from world ...
Cory Kapser, Paul Anderson, Michael W. Godfrey, Ra...
DAGSTUHL
2006
15 years 8 months ago
Context Dependent Analysis of BioAmbients
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nie...