656 search results - page 40 / 132 » Symbolic computing of nonlinear observable and observer form... |
CMSB
2004
Springer
14 years 1 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
ICCSA
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. The digitalization of product-styling tools for the early designdevelopment stage has focused on using raster-type graphics S/Ws. These kinds of S/Ws enable designers fre...
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
In the recent years, the massive use of in-car navigation systems has symbolized the emergence of location-based services for wayfinding. This market success creates the opportunit...
JETAI
2008
13 years 7 months ago
2008
Are minds really dynamical or are they really symbolic? Because minds are bundles of computations, and because computation is always a matter of interpretation of one system by an...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...