6431 search results - page 455 / 1287 » Model Building by Resolution |
267
click to vote
CHI
2004
ACM
16 years 9 days ago
2004
ACM
As ubiquitous computing technology migrates into the home environment, there has been a concurrent effort to allow users to build and customize such technologies to suit their own...
217
click to vote
STEP
2003
IEEE
16 years 4 days ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
162
click to vote
AAAI
2000
15 years 8 months ago
2000
The inherent difficulty in supporting human usability in large control systems--such as building environmental and security systems--derives from the large diversity of components...
190
click to vote
PAMI
2007
15 years 6 months ago
2007
—An open vision problem is to automatically track the articulations of people from a video sequence. This problem is difficult because one needs to determine both the number of p...
198
click to vote
ECAI
2004
Springer
16 years 8 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...