669 search results - page 64 / 134 » Mastering the Master Theorem |
ICCHP
2010
Springer
15 years 2 months ago
2010
Springer
The education and training of ICT students and professionals with respect to Design for All is a vital part in the process of achieving eInclusion throughout Europe. This paper out...
103
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
CPM
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Ambiguity in dynamic programming arises from two independent sources, the non-uniqueness of optimal solutions and the particular recursion scheme by which the search spac...
105
click to vote
APN
2010
Springer
15 years 2 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
CA
1999
IEEE
15 years 2 months ago
1999
IEEE
The recent addition of force and touch feedback to Virtual Reality simulations has enhanced their realism. Research on haptics interfaces is now extended to physical modeling of c...