Sciweavers

1581 search results - page 261 / 317
» Domain semantics of possibility computations
Sort
View
LACL
2001
Springer
14 years 2 months ago
Combinators for Paraconsistent Attitudes
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
Jørgen Villadsen
CODES
1999
IEEE
14 years 2 months ago
System synthesis utilizing a layered functional model
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
Ingo Sander, Axel Jantsch
SSD
1997
Springer
131views Database» more  SSD 1997»
14 years 2 months ago
Topological Error Correcting in GIS
It is agreed upon that topological relations ore of great importance regarding to GIS data sets consistency. A lot of errors that can be found in GIS data sets are coming from a l...
Thierry Ubeda, Max J. Egenhofer
ISTA
2001
13 years 11 months ago
A Technique for Information System Integration
: Nowadays, a central topic in database science is the need of an integrated access to large amounts of data provided by various information sources whose contents are strictly rel...
Sergio Greco, Luigi Pontieri, Ester Zumpano
COGSCI
2010
85views more  COGSCI 2010»
13 years 10 months ago
The Effects of Feature-Label-Order and Their Implications for Symbolic Learning
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
Michael Ramscar, Daniel Yarlett, Melody Dye, Katie...