3256 search results - page 527 / 652 » Applications of Formal Methods to System Design and Verifica... |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
119
click to vote
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose a method that rates the suitability of given templates for template-based tracking in real-time. This is important for applications with online template selection, such...
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
Many semantic portals use faceted browsing, where the facets are based on the underlying indexing ontologies of the content. However, in many cases, like in medical applications, t...
MM
2004
ACM
15 years 3 months ago
2004
ACM
One of the challenges of multimedia applications is to provide user-tailored access to information encoded in different media. Particularly, previous research has not yet fully e...
IWSOC
2003
IEEE
15 years 3 months ago
2003
IEEE
The availability of high-level design entry tooling is crucial for the viability of any reconfigurable SoC architecture. This paper presents a template generation method to extra...