7890 search results - page 1439 / 1578 » The MathSAT 3 System |
143
click to vote
AAAI
2011
14 years 4 months ago
2011
Recognizing possibly thousands of objects is a crucial capability for an autonomous agent to understand and interact with everyday environments. Practical object recognition comes...
131
Voted
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
175
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
This paper presents a new challenge—verifying that a remote server is storing a file in a fault-tolerant manner, i.e., such that it can survive hard-drive failures. We describe...
170
click to vote
CP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In this paper we present a model for the carpet cutting problem in which carpet shapes are cut from a rectangular carpet roll with a fixed width and sufficiently long le...
145
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
Traditionally, biomolecular systems have been studied in ensemble. While much can be determined with ensemble measurements, scientific and technological interest is rapidly moving...