12487 search results - page 2027 / 2498 » Graspable Work Modeling |
203
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...
166
click to vote
RV
2007
Springer
16 years 1 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
182
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
Incorporating shape priors in image segmentation has become a key problem in computer vision. Most existing work is limited to a linearized shape space with small deformation modes...
173
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
211
click to vote
VAMOS
2007
Springer
16 years 1 months ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...