1157 search results - page 174 / 232 » Descriptive Complexity and Model Checking |
101
click to vote
AI
2006
Springer
15 years 2 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
106
Voted
FOIS
2008
15 years 2 months ago
2008
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
117
Voted
IJCV
2002
15 years 6 days ago
2002
We present a method to automatically extract spatio-temporal descriptions of moving objects from synchronized and calibrated multi-view sequences. The object is modeled by a time-...
TCAD
1998
15 years 5 days ago
1998
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
104
Voted
VL
2010
IEEE
14 years 11 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...