2777 search results - page 532 / 556 » Understanding ontological engineering |
100
click to vote
STOC
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we consider bounded real-valued functions over the discrete cube, f : {-1, 1}n [-1, 1]. Such functions arise naturally in theoretical computer science, combinatorics...
190
click to vote
SIGMOD
2009
ACM
15 years 11 months ago
2009
ACM
This tutorial presents an overview of the data management issues faced by computer games today. While many games do not use databases directly, they still have to process large am...
99
Voted
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
Databases have achieved orders-of-magnitude performance improvements by changing the layout of stored data – for instance, by arranging data in columns or compressing it before ...
CEC
2009
IEEE
15 years 5 months ago
2009
IEEE
— Legged robots show promise for complex mobility tasks, such as navigating rough terrain, but the design of their control software is both challenging and laborious. Traditional...