1190 search results - page 116 / 238 » The Continuing Quest for Abstraction |
FLAIRS
2008
13 years 11 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
AOSE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
ICCHP
2010
Springer
2010
Springer
Automatic Live Monitoring of Communication Quality for Normal-Hearing and Hearing-Impaired Listeners
13 years 11 months ago
Abstract. This contribution presents a system, which allows for a continuous monitoring of speech intelligibility from a single microphone signal. The system accounts for the detri...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
BPM
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper aims at carrying out business process modelling and business process improvement using TAD methodology. The methodology consists of six phases; the first three...