2586 search results - page 112 / 518 » Automatic Abstraction for Congruences |
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
103
click to vote
CICLING
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we present a method for the automatic acquisition of semantic-based reformulations from natural language questions. Our goal is to find useful and generic ...
DCOSS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. It is an undeniable fact that people want information. Unfortunately, even in today's highly automated society, a lot of the information we desire is still manually ...
RSS
2007
14 years 11 months ago
2007
Abstract— This paper considers the problem of learning to recognize different terrains from color imagery in a fully automatic fashion, using the robot’s mechanical sensors as ...
101
click to vote
BMCBI
2007
14 years 10 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...