670 search results - page 103 / 134 » Modeling generalized implicatures using non-monotonic logics |
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...
ER
2010
Springer
13 years 6 months ago
2010
Springer
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
GIS
2006
ACM
14 years 9 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...