6978 search results - page 1042 / 1396 » On Proofs in System P |
172
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
192
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
BOINC is a platform for volunteer computing. The server component of BOINC embodies a number of scheduling policies and parameters that have a large impact on the projects through...
192
Voted
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents significant steps towards the online integration of 3D perception and manipulation for personal robotics applications. We propose a modular and distributed...
193
Voted
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
150
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Web search is the main way for millions of users to access information every day, but we continue to struggle when it comes to finding the right information at the right time. In ...