1157 search results - page 173 / 232 » Descriptive Complexity and Model Checking |
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
CA
2002
IEEE
14 years 1 months ago
2002
IEEE
Virtual conversational agents are supposed to combine speech with nonverbal modalities for intelligible and believeable utterances. However, the automatic synthesis of coverbal ge...
ICCD
2000
IEEE
14 years 1 months ago
2000
IEEE
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...
FMICS
2006
Springer
14 years 12 days ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
BPM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...