4595 search results - page 782 / 919 » Reasoning about Plans |
ISF
2007
13 years 8 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
TKDE
2008
13 years 8 months ago
2008
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision making, reasoning, and analysis. Raw input about unf...
JEI
2007
13 years 8 months ago
2007
Spectral separation is the process of obtaining printer control values to reproduce a given spectral reflectance. Given a multispectral image where each pixel represents a spectra...
TSE
2008
13 years 8 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
JNW
2007
13 years 8 months ago
2007
— Context-awareness is considered a key driving principle for the design and provisioning of adaptable pervasive services. Rightfully describing and interpreting context, however...