6608 search results - page 1233 / 1322 » On the Completeness of Model Checking |
113
click to vote
WINET
2010
15 years 2 months ago
2010
Device discovery and connection establishment are fundamental to communication between two Bluetooth (BT) devices. In this paper, we give an analytical model of the time it takes f...
186
Voted
CGF
2010
15 years 2 months ago
2010
The human shoulder complex is perhaps the most complicated joint in the human body being comprised of a set of three bones, muscles, tendons, and ligaments. Despite this anatomica...
154
Voted
CLUSTER
2009
IEEE
15 years 1 months ago
2009
IEEE
Scientific computing has seen an immense growth in recent years. The Message Passing Interface (MPI) has become the de-facto standard for parallel programming model for distribute...
141
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we study the average case complexity of the Unique Games problem. We propose a natural semi-random model, in which a unique game instance is generated in several st...
163
Voted
IJRR
2010
14 years 10 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 ...