3172 search results - page 224 / 635 » Combining Specification Techniques for Processes, Data and T... |
190
click to vote
JUCS
2008
15 years 6 months ago
2008
: The use of digital games in education is well documented in the literature. They have been used in preschool, K-12, the university. A specific type of digital games is board game...
253
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
— Although efficient processing of probabilistic databases is a well-established field, a wide range of applications are still unable to benefit from these techniques due to t...
177
click to vote
ICDT
2001
ACM
15 years 11 months ago
2001
ACM
Abstract. Nearest-neighbor queries in high-dimensional space are of high importance in various applications, especially in content-based indexing of multimedia data. For an optimiz...
180
click to vote
STOC
1996
ACM
15 years 10 months ago
1996
ACM
We significantly improve known time bounds for solving the minimum cut problem on undirected graphs. We use a "semiduality" between minimum cuts and maximum spanning tree...
154
click to vote
AAAI
2007
15 years 9 months ago
2007
Recent work has shown promise in using large, publicly available, hand-contributed commonsense databases as joint models that can be used to infer human state from day-to-day sens...