6960 search results - page 474 / 1392 » Continuity Analysis of Programs |
198
click to vote
CMSB
2007
Springer
16 years 15 days ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
159
Voted
IBPRIA
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes an experimental study about a robust contour feature (shape-context) for using in action recognition based on continuous hidden Markov models (HMM). We ran dif...
156
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
226
click to vote
ECRTS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
191
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...