144227 search results - page 28586 / 28846 » Using the |
142
click to vote
FMSD
2010
15 years 3 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
128
click to vote
FOCM
2010
15 years 3 months ago
2010
Free-discontinuity problems describe situations where the solution of interest is defined by a function and a lower dimensional set consisting of the discontinuities of the funct...
149
click to vote
FUIN
2008
15 years 3 months ago
2008
Causal relations are present in many application domains. Causal Probabilistic Logic (CP-logic) is a probabilistic modeling language that is especially designed to express such rel...
171
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
In this paper we focus on the problem of continuously monitoring the set of Reverse k-Nearest Neighbors (RkNNs) of a query object in a moving object database using a client server...
134
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Many researchers throughout the world have been struggling to better understand and describe Spatial Data Infrastructures (SDIs). Our knowledge of the real forces and mechanisms b...