2632 search results - page 91 / 527 » Alternating Timed Automata |
120
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
109
click to vote
PR
2006
15 years 1 months ago
2006
In this paper, we discuss the influence of feature vectors contributions at each learning time t on a sequential-type competitive learning algorithm. We then give a learning rate ...
112
click to vote
ISMAR
2002
IEEE
15 years 6 months ago
2002
IEEE
In this work we compare an in-house designed Tangible User Interface (TUI) with three alternative single-user tools through an empirical investigation. These three alternative too...
MICCAI
2009
Springer
16 years 2 months ago
2009
Springer
Obtaining detailed, patient-specific blood flow information would be very useful in detecting and monitoring cardio-vascular diseases. Current approaches rely on computational flui...
107
click to vote
ICCAD
2005
IEEE
15 years 7 months ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...