237 search results - page 2 / 48 » Just enough tabling |
IJCAI
2007
13 years 6 months ago
2007
This goal of this paper is to defend the plausibility of the argument that passing the Turing test is a sufficient condition for the presence of intelligence. To this effect, we ...
CAISE
2008
Springer
2008
Springer
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation
13 years 7 months ago
The Business Process Modeling Notation (BPMN) is an increasingly important industry standard for the graphical representation of business processes. BPMN offers a wide range of mod...
SIGOPSE
2004
ACM
13 years 10 months ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
CIDR
2007
13 years 6 months ago
2007
We argue that designing a system that “guarantees” the privacy of its information may not be enough. One must also consider the price for providing that protection: For exampl...
SIGMOD
2007
ACM
14 years 5 months ago
2007
ACM
A cracked database is a datastore continuously reorganized based on operations being executed. For each query, the data of interest is physically reclustered to speed-up future ac...