2377 search results - page 194 / 476 » Hybrid Systems in TLA |
205
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
147
click to vote
ISSAC
2007
Springer
16 years 20 days ago
2007
Springer
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
157
click to vote
KES
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper presents a hybrid agents based architecture that uses casebased reasoning and case-based planning systems as reasoning mechanism in deliberative BDI agents to ...
155
click to vote
ICRA
2006
IEEE
16 years 17 days ago
2006
IEEE
- Robotic manipulation at the nanometer scale is a promising technology for structuring, characterizing and assembling nano building blocks into nanoelectromechanical systems (NEMS...
160
click to vote
ISRR
2005
Springer
16 years 1 days ago
2005
Springer
Robotic manipulation at the nanometer scale is a promising technology for structuring, characterizing and assembling nano building blocks into nanoelectromechanical systems (NEMS)...