1546 search results - page 188 / 310 » Context-Aware Computing with Sound |
154
click to vote
CLIMA
2007
15 years 7 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
155
click to vote
AAAI
2006
15 years 7 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
157
click to vote
COMMA
2006
15 years 7 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
196
click to vote
INTERACT
2003
15 years 7 months ago
2003
: The paper presents a new concept of computer user interface dedicated for the disabled people. The concept is based on the recognition of ultrasound image of the selected region ...
172
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...