10182 search results - page 1655 / 2037 » Case Studies |
158
click to vote
LICS
2005
IEEE
16 years 17 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
179
click to vote
QSHINE
2005
IEEE
16 years 16 days ago
2005
IEEE
One of the main characteristics of wireless ad hoc networks is their node-centric broadcast nature of communication, leading to interferences and spatial contention between adjace...
185
click to vote
SEFM
2005
IEEE
16 years 16 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
158
click to vote
WACV
2005
IEEE
16 years 16 days ago
2005
IEEE
General structure-from-motion methods are not adept at dealing with constrained camera motions, even though such motions greatly simplify vision tasks like mobile robot localizati...
213
click to vote
IUI
2005
ACM
16 years 16 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...