3813 search results - page 523 / 763 » Advanced Interaction in Context |
177
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
150
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
We present a method for effective navigation in structure of large information spaces. The method employs incremental browsing of the information space structure and visualizes in...
177
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
164
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
An appraisal of human motions and particular motion phases is essential for a good interaction between a human and a humanoid robot. We present a new method for the analysis of hum...
168
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We will demonstrate distributed conflict resolution in the context of personalized meeting scheduling. The demonstration will show how distributed constraint optimization can be u...