3009 search results - page 333 / 602 » The Expressive Rate of Constraints |
189
click to vote
TPHOL
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
173
click to vote
SEFM
2006
IEEE
16 years 21 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
170
click to vote
ILP
2005
Springer
16 years 6 days ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
196
click to vote
KI
2005
Springer
16 years 6 days ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
254
click to vote
MM
2004
ACM
16 years 4 days ago
2004
ACM
Advanced human computer interaction requires automatic reading of human face in order to make the computer interact with human in the same way as human-to-human communication. We ...