260 search results - page 45 / 52 » Range and Set Abstraction using SAT |
DAGSTUHL
1997
13 years 8 months ago
1997
Abstract. This document1 contains de nitions of a wide range of concepts speci c to and widely used within temporal databases. In addition to providing de nitions, the document als...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract. We seek to distinguish Strategic design decisions (e.g., to adopt a programming paradigm, architectural style, CBSE standard or application framework) from tactical desig...
INTERNET
2008
13 years 7 months ago
2008
more abstractly to the tools, tactics, and techniques pertinent to each profession. Top basketball players know multiple ways to help their teams with scoring, passing, and defense...
AAAI
2008
13 years 9 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
CHI
1996
ACM
13 years 11 months ago
1996
ACM
The design of CSCW systems has often had its roots in ethnomethodological understandings of work and investigations of working settings. Increasingly, we are also seeing these ide...