390 search results - page 53 / 78 » Probability Logic and Logical Probability |
163
click to vote
DAC
1994
ACM
15 years 5 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
124
click to vote
PODS
2010
ACM
15 years 3 months ago
2010
ACM
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. We generalize these languages such that computation steps (e....
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extensio...
117
click to vote
IJSWIS
2007
15 years 1 months ago
2007
In a semantic environment data is described by ontologies and ontology mapping has become a crucial aspect in solving the heterogeneity problems of semantically described data. Th...
105
click to vote
RAS
2007
15 years 1 months ago
2007
In this paper, a modified method for occupancy grid map building by a moving mobile robot and a scanning ultrasonic range-finder is proposed. The map building process consists o...