436 search results - page 66 / 88 » Decomposing constraint systems: equivalences and computation... |
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
Automated detection of lesions in retinal images can assist
in early diagnosis and screening of a common disease:
Diabetic Retinopathy. A robust and computationally
efficient ap...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
GP uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees, and GP searches t...
ECRTS
2000
IEEE
14 years 1 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
KI
2010
Springer
13 years 3 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
ISORC
2009
IEEE
14 years 3 months ago
2009
IEEE
Modular component-based robot systems require not only an infrastructure for component management, but also scalability as well as real-time properties. Robot Technology (RT)-Midd...