3820 search results - page 311 / 764 » Bounded Model Debugging |
140
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
157
Voted
JSAC
2008
15 years 4 months ago
2008
If a network is to operate successfully, its users need to collaborate. Collaboration takes the form of following a network protocol and involves some resource expenditure on the p...
111
click to vote
JCM
2006
15 years 4 months ago
2006
Recent FCC proceedings have considered the notion of unlicensed device operation in licensed bands. Licensed users are concerned about harmful interference while unlicensed device ...
128
click to vote
ECCC
2007
15 years 4 months ago
2007
We prove space hierarchy and separation results for randomized and other semantic models of computation with advice where a machine is only required to behave appropriately when g...
126
click to vote
TOG
2008
15 years 4 months ago
2008
In this paper, we introduce a simple sketching method to generate a realistic 3D tree model from a single image. The user draws at least two strokes in the tree image: the first c...