5550 search results - page 347 / 1110 » Different Approaches to Proof Systems |
211
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
246
click to vote
WOSP
1998
ACM
15 years 11 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
158
click to vote
JSS
2002
15 years 6 months ago
2002
Although many efficient concurrency control protocols have been proposed for real-time database systems, they are mainly designed for the systems with a single type of real-time t...
219
click to vote
IJRR
2010
15 years 1 months ago
2010
We present a complete vision guided robot system for model based 3D pose estimation and picking of singulated 3D objects. Our system employs a novel vision sensor consisting of a ...
220
click to vote
TMM
2002
15 years 6 months ago
2002
A joint source-channel coding (JSCC) scheme for robust progressive image transmission over broadband wireless channels using orthogonal frequency division multiplexing (OFDM) syste...