1364 search results - page 168 / 273 » Comparative Branching-Time Semantics |
131
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
155
Voted
SPATIALCOGNITION
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
113
Voted
ICANN
2003
Springer
15 years 9 months ago
2003
Springer
We discuss a Probably Approximate Correct (PAC) learning paradigm for Boolean formulas, which we call PAC meditation, where the class of formulas to be learnt is not known in advan...
125
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
153
Voted
MSR
2009
ACM
15 years 8 months ago
2009
ACM
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...