1157 search results - page 206 / 232 » Descriptive Complexity and Model Checking |
ICMI
2003
Springer
14 years 1 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
ASWEC
2009
IEEE
14 years 1 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
KESAMSTA
2010
Springer
14 years 1 months ago
2010
Springer
The first trial of using the symmetry analysis method in modeling of behavior of complex social system is presented in this work. The evacuation of large building scenarios are d...
INTERACTION
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
SSDBM
2000
IEEE
14 years 1 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...