1638 search results - page 258 / 328 » A General Semantics for Evaluation Logic |
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
108
click to vote
SDMW
2010
Springer
14 years 10 months ago
2010
Springer
In an outsourced database framework, clients place data management with specialized service providers. Of essential concern in such frameworks is data privacy. Potential clients ar...
104
click to vote
AAAI
2011
13 years 11 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...
133
click to vote
AAAI
2011
13 years 11 months ago
2011
Effective access to knowledge within large declarative memory stores is one challenge in the development and understanding of long-living, generally intelligent agents. We focus o...
87
Voted
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
We present SecureBlox, a declarative system that unifies a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speci...