Sciweavers

8838 search results - page 36 / 1768
» Generalizing Domain Theory
Sort
View
92
Voted
GIS
2007
ACM
15 years 2 months ago
Towards a general theory of geographic representation in GIS
Michael F. Goodchild, May Yuan, Thomas J. Cova
IJRR
2011
77views more  IJRR 2011»
14 years 10 months ago
Generalizing foraging theory for analysis and design
Theodore P. Pavlic, Kevin M. Passino
CAV
2009
Springer
181views Hardware» more  CAV 2009»
16 years 3 months ago
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
Amir M. Ben-Amram