192 search results - page 12 / 39 » Constraint-Based Approach for Analysis of Hybrid Systems |
129
click to vote
CHI
2006
ACM
16 years 2 days ago
2006
ACM
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
102
click to vote
REX
1991
15 years 3 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
101
click to vote
ICCAD
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
IEAAIE
1995
Springer
15 years 3 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
ICIP
2002
IEEE
16 years 1 months ago
2002
IEEE
We present a hybrid and parallel system based on artificial neural networks for a face invariant classifier and general pattern recognition problems. A set of face features is ext...