8232 search results - page 400 / 1647 » Dynamic Logic Programming |
211
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
190
click to vote
HUMO
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...
178
click to vote
FLAIRS
2008
15 years 9 months ago
2008
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
178
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
192
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...