1288 search results - page 200 / 258 » On Analysis of Design Component Contracts: A Case Study |
105
click to vote
HYBRID
1994
Springer
15 years 5 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
126
click to vote
WCE
2007
15 years 2 months ago
2007
- Machine vision has evolved to become a mainstream automation tool, enabling computers to replace human vision in high speed and precision manufacturing techniques. Images usually...
125
click to vote
HIS
2007
15 years 3 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
107
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...
122
click to vote
ELPUB
2007
ACM
15 years 5 months ago
2007
ACM
The following paper presents a case study of the way that the research done by the LAIRAH project may be applied in the case of a real digital resource for humanities scholarship....