1003 search results - page 98 / 201 » Type Inference with Inequalities |
114
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
151
click to vote
IICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract: The article presents a model of the structural properties of virtual communities and the information they can access. It argues that a large part of the information – a...
170
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
When estimating foreground and background layers (or equivalently an alpha matte), it is often the case that pixel measurements contain mixed colours which are a combination of for...
208
click to vote
ICDE
1999
IEEE
16 years 5 months ago
1999
IEEE
Clustering partitions a collection of objects into groups called clusters, such that similar objects fall into the same group. Similarity between objects is defined by a distance ...
237
click to vote
GIS
2005
ACM
16 years 5 months ago
2005
ACM
Topological predicates, as derived from the 9-intersection model, have been widely recognized in GIS, spatial database systems, and many other geo-related disciplines. They are ba...