4930 search results - page 721 / 986 » Learning minimal abstractions |
168
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
143
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Many surgical procedures could benefit from guiding a bevel-tip needle along circular arcs to multiple treatment points in a patient. At each treatment point, the needle...
164
click to vote
PAM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Interference among co-channel users is a fundamental problem in wireless networks, which prevents nearby links from operating concurrently. Directional antennas allow the...
184
click to vote
AVSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Applications such as surveillance and human motion capture require high-bandwidth recording from multiple cameras. Furthermore, the recent increase in research on sensor...
160
click to vote
ICDCN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Much of the data consumed today is dynamic, typically gathered from distributed sources including sensors, and used in real-time monitoring and decision making applicatio...