10910 search results - page 415 / 2182 » Input modeling using a computer algebra system |
202
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
140
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper describes an efficient vision-based global topological localization approach that uses a coarse-tofine strategy. Orientation Adjacency Coherence Histogram (OACH), a nov...
184
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Multi-subject analysis of functional Magnetic Resonance Imaging (fMRI) data relies on within-subject studies, which are usually conducted using a massively univariate approach. In...
256
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
202
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...