7075 search results - page 1169 / 1415 » Models and heterogeneous reasoning |
171
click to vote
ILP
2005
Springer
16 years 7 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...
193
click to vote
SIGSOFT
2004
ACM
16 years 4 days ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
165
click to vote
APPROX
2004
Springer
16 years 4 days ago
2004
Springer
In many economic settings, convex figures on the plane are for sale. For example, one might want to sell advertising space on a newspaper page. Selfish agents must be motivated ...
161
click to vote
DEON
2004
Springer
16 years 4 days ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
165
click to vote
ESOP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...