2364 search results - page 184 / 473 » On O-Minimal Hybrid Systems |
177
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
211
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...
152
Voted
ISSAC
2007
Springer
16 years 29 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 ...
164
click to vote
KES
2007
Springer
16 years 29 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 ...
160
click to vote
ICRA
2006
IEEE
16 years 26 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...