3256 search results - page 424 / 652 » Applications of Formal Methods to System Design and Verifica... |
179
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
We propose a system that reads the text encountered in natural scenes with the aim to provide assistance to the visually impaired persons. This paper describes the system design a...
213
click to vote
CAV
1998
Springer
15 years 9 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
140
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
Design space exploration during high level synthesis is often conducted through ad-hoc probing of the solution space using some scheduling algorithm. This is not only time consumi...
160
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...
203
click to vote
CANDC
2009
ACM
15 years 3 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...