6365 search results - page 427 / 1273 » Fast Local Computation Algorithms |
188
click to vote
ICPP
2003
IEEE
16 years 25 days ago
2003
IEEE
A hardware-assisted design, dubbed cache-oriented multistage structure (COMS), is proposed for fast packet forwarding. COMS incorporates small on-chip cache memory in its constitu...
206
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
We describe how certain tasks in the audio domain can be effectively addressed using computer vision approaches. This paper focuses on the problem of music identification, where t...
189
click to vote
ACL
2012
13 years 10 months ago
2012
This paper studies the problem of sentencelevel semantic coherence by answering SATstyle sentence completion questions. These questions test the ability of algorithms to distingui...
226
click to vote
AROBOTS
2002
15 years 7 months ago
2002
This paper describes an incremental deployment algorithm for mobile sensor networks. A mobile sensor network is a distributed collection of nodes, each of which has sensing, compu...
197
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...