Sciweavers

8838 search results - page 36 / 1768
» Generalizing Domain Theory
Sort
View
GIS
2007
ACM
13 years 9 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»
13 years 4 months ago
Generalizing foraging theory for analysis and design
Theodore P. Pavlic, Kevin M. Passino
CAV
2009
Springer
181views Hardware» more  CAV 2009»
14 years 10 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