6978 search results - page 1045 / 1396 » On Proofs in System P |
150
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this study we report how different interfaces for searching the internet changed the strategies and information opportunities of voters as they searched for political informati...
142
Voted
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
: Many tools that target parallel and distributed environments must co-locate a set of daemons with the distributed processes of the target application. However, efficient and por...
165
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper provides a detailed analysis of the motion planning subsystem for the MIT DARPA Urban Challenge vehicle. The approach is based on the Rapidly-exploring Random Trees ...
174
click to vote
VR
2008
IEEE
16 years 1 months ago
2008
IEEE
Most projector-based immersive displays have numerous problems relating to complexity, space, and cost. We present a technique for rendering perspectively correct images using a c...
205
click to vote
CRV
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a system for automatic annotation of humans passing a surveillance camera. Each human has 4 associated annotations: the primary color of the clothing, the...