1638 search results - page 235 / 328 » Properties of input-consuming derivations |
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— In this paper we present a methodology that drives and stabilizes a robotic agent moving in a three dimensional environment, to a 2-dimensional manifold embedded in the workspa...
IEEEICCI
2005
IEEE
15 years 3 months ago
2005
IEEE
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
WONS
2005
IEEE
15 years 3 months ago
2005
IEEE
Multipath routing minimizes the consequences of security attacks deriving from collaborating malicious nodes in MANET, by maximizing the number of nodes that an adversary must com...
GRAPHITE
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we present an algorithm to automatically produce artistic drawings from stereo image pairs. The input to the algorithm is a natural scene, along with a user-defined...
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...