4595 search results - page 52 / 919 » Reasoning about Plans |
174
click to vote
SEBD
2003
15 years 5 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
138
click to vote
ARTMED
2006
15 years 4 months ago
2006
Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...
149
click to vote
JUCS
2008
15 years 4 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
135
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...