3446 search results - page 512 / 690 » A Reasoning Algorithm for pD* |
148
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
140
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
Image filtering involves taking a digital image and producing a new image from it. In software packages such as Adobe’s Photoshop, image filters are used to produce artistic ve...
127
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...
124
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
109
click to vote
CSIE
2009
IEEE
15 years 11 months ago
2009
IEEE
This article investigates the effectiveness of community generated tags as social descriptors of resources uncoordinatedly annotated by community members. Our goal is to demonstra...