Sciweavers

6047 search results - page 698 / 1210
» Modeling with Extend
Sort
View
TAMC
2009
Springer
16 years 1 months ago
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata
Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locations and discrete probabilistic branching. The model is a natural combination of Priced Tim...
Jasper Berendsen, Taolue Chen, David N. Jansen
CDC
2008
IEEE
16 years 1 months ago
Equivalence between Approximate Dynamic Inversion and Proportional-Integral control
—Approximate Dynamic Inversion (ADI) has been established as a method to control minimum-phase, nonaffine-incontrol systems. Previous results have shown that for single-input no...
Justin Teo, Jonathan P. How
152
Voted
ICPR
2008
IEEE
16 years 1 months ago
A stochastic nearest neighbor character prototype approach for online writer identification
One novel technique for identifying the writer of an online handwritten document is proposed. This technique makes use of a character prototype distribution to model the specific ...
Guo Xian Tan, Christian Viard-Gaudin, Alex ChiChun...
IROS
2008
IEEE
107views Robotics» more  IROS 2008»
16 years 1 months ago
Robust view matching-based Markov localization in outdoor environments
— This paper describes a view-based localization method in outdoor environments. An important issue in viewbased localization is to cope with the change of object views due to ch...
Jun Miura, Koshiro Yamamoto
QSIC
2005
IEEE
16 years 19 days ago
Towards Making Agent UML Practical: A Textual Notation and a Tool
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
Michael Winikoff