1313 search results - page 133 / 263 » Generic Universe Types |
171
click to vote
AAAI
2011
14 years 6 months ago
2011
We have carefully instrumented a large portion of the population living in a university graduate dormitory by giving participants Android smart phones running our sensing software...
208
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
165
click to vote
VLDB
1999
ACM
15 years 10 months ago
1999
ACM
In this paper, we describe our recent experiences in adding a number of object-relational extensions to the DB2 Universal Database UDB system as part of a research and developme...
164
click to vote
HOPL
2007
15 years 10 months ago
2007
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...
161
click to vote
ENTCS
2008
15 years 6 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...