10916 search results - page 118 / 2184 » On Constructive Connectives and Systems |
186
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
We consider handheld computing devices which are connected to a server (or a powerful desktop machine) via a wireless LAN. On such devices, it is often possible to save the energy...
116
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a model-based system for tracking rotating fluids, and apply it to a laboratory study of atmospheric circulation. Tracking is accomplished by filtering uncertain and hi...
163
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
166
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper is based on our exploratory study of a South Indian village in Chamrajanagar district of Karnataka. The study was to understand the rural communication environment and ...
170
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: In recent years, mammalian protein-protein interaction network databases have been developed. The interactions in these databases are either extracted manually from lo...