4693 search results - page 566 / 939 » Verifying Hybrid Systems |
180
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Building repositories of computational models of biological systems ensures that published models are available for both education and further research, and can provid...
320
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
193
click to vote
IROS
2006
IEEE
16 years 29 days ago
2006
IEEE
This work is about the relevance of Gibson’s concept of affordances [1] for visual perception in interactive and autonomous robotic systems. In extension to existing functional ...
178
click to vote
ISPA
2005
Springer
16 years 13 days ago
2005
Springer
The way conventional Ethernet is used today differs in two aspects from how dedicated system area networks are used. Firstly, dedicated system area networks are lossless and only d...
177
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
With the advance of semiconductor manufacturing, There are many approaches to deal with these problems. EDA, and VLSI design technologies, circuits with even higher Adding discrete...