1313 search results - page 133 / 263 » Generic Universe Types |
141
click to vote
AAAI
2011
14 years 5 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...
178
click to vote
VMCAI
2012
Springer
14 years 15 days 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...
138
click to vote
VLDB
1999
ACM
15 years 9 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...
145
Voted
HOPL
2007
15 years 8 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...
140
Voted
ENTCS
2008
15 years 5 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...