16616 search results - page 353 / 3324 » Extending Extended Vacuity |
189
Voted
WSTST
2005
Springer
16 years 8 days ago
2005
Springer
: In this paper, we discuss our challenge on how to give the creatures and ability to follow spatial restriction while keeping the complexity low enough to still allow for real-tim...
206
click to vote
GIAE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper introduces the mathematical framework of conformal geometric algebra (CGA) as a language for computer graphics and computer vision. Specifically it discusses ...
201
click to vote
NMR
2004
Springer
16 years 4 days ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
162
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— This article presents a novel gaze control strategy for obstacle avoidance in the context of vision guided humanoid walking. The generic strategy is based on the maximi...
150
click to vote
ISMVL
2003
IEEE
16 years 2 days ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...