472 search results - page 76 / 95 » Limiting Negations in Formulas |
TIP
1998
12 years 6 months ago
1998
Snakes, or active contours, are used extensively in
computer vision and image processing applications, particularly
to locate object boundaries. Problems associated with initiali...
SIGIR
2012
ACM
12 years 1 months ago
2012
ACM
Many techniques for improving search result quality have been proposed. Typically, these techniques increase average effectiveness by devising advanced ranking features and/or by...
TIT
2008
13 years 10 months ago
2008
Distributed estimation of an unknown signal is a common task in sensor networks. The scenario usually envisioned consists of several nodes, each making an observation correlated wi...
IJCAI
1989
13 years 11 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
INFOCOM
2005
IEEE
14 years 4 months ago
2005
IEEE
— Packet buffers in router/switch interfaces constitute a central element of packet networks. The appropriate sizing of these buffers is an important and open research problem. M...