3820 search results - page 367 / 764 » Bounded Model Debugging |
143
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In many wireless systems, interference is the main performance-limiting factor, and is primarily dictated by the locations of concurrent transmitters. In many earlier works, the l...
104
click to vote
JEA
2006
15 years 4 months ago
2006
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...
131
click to vote
MP
2006
15 years 4 months ago
2006
We present a distribution-free model of incomplete-information games, both with and without private information, in which the players use a robust optimization approach to contend ...
169
click to vote
COMGEO
2000
ACM
15 years 4 months ago
2000
ACM
We present a fast and accurate collision detection algorithm for haptic interaction with polygonal models. Given a model, we pre-compute a hybrid hierarchical representation, cons...
157
click to vote
APPROX
2011
Springer
14 years 4 months ago
2011
Springer
This work considers locally decodable codes in the computationally bounded channel model. The computationally bounded channel model, introduced by Lipton in 1994, views the channe...