77 search results - page 15 / 16 » Reasoning about Categories in Conceptual Spaces |
107
click to vote
TOPLAS
2008
14 years 11 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
178
click to vote
GIS
2005
ACM
16 years 19 days ago
2005
ACM
The management of moving objects has been intensively studied in the recent years. A wide and increasing range of database applications has to deal with spatial objects whose posi...
171
click to vote
POPL
2009
ACM
16 years 7 days ago
2009
ACM
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
113
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...