10916 search results - page 1912 / 2184 » On Constructive Connectives and Systems |
159
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
Future homes will be populated with large numbers of robots with diverse functionalities, ranging from chore robots to elder care robots to entertainment robots. While household r...
181
click to vote
PACT
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
164
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
Given a large number of search engines on the Internet, it is di cult for a person to determine which search engines could serve his/her information needs. A common solution is to...
193
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
Painters and illustrators commonly sketch vanishing points and lines to guide the construction of perspective images. We present a tool that gives users the ability to manipulate ...
189
click to vote
ICVS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...