1677 search results - page 164 / 336 » On the Completeness of Quantum Computation Models |
164
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
212
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
167
click to vote
COLING
2010
15 years 1 months ago
2010
Unrehearsed spoken language often contains disfluencies. In order to correctly interpret a spoken utterance, any such disfluencies must be identified and removed or otherwise deal...
180
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
Simulating fluids based on vortex filaments is highly attractive for the creation of special effects because it gives artists full control over the simulation using familiar too...
160
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Color-based trackers recently proposed in [3,4,5] have been proved robust and versatile for a modest computational cost. They are especially appealing for tracking tasks where the ...