3228 search results - page 292 / 646 » Computationally Sound Proofs |
164
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
- The two dominant forms of SLAM are based on Extended Kalman Filtering and Consistent Pose Estimation. We show that these are particular subsets of a more general view of the SLAM...
202
Voted
WORDS
2005
IEEE
16 years 8 days ago
2005
IEEE
The latest version of Real-Time CORBA defines a Distributable Thread primitive to support real-time computing in a dynamic distributed environment. However, this standard does not...
147
click to vote
CONCUR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and...
192
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
168
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...