2661 search results - page 118 / 533 » A Semantics for Abstraction |
169
click to vote
APCCM
2009
15 years 7 months ago
2009
Database Semantics (DBS) is a computational model of how communicating with natural language works. at a level of abstraction which may be applied to natural and artificial agents...
179
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
191
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
149
click to vote
CLIMA
2007
15 years 8 months ago
2007
Abstract. In this paper we present an implementation of EVOLP under the Evolution Stable Model semantics, based on the transformation defined in [1]. We also discuss optimizations...
182
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...