20441 search results - page 286 / 4089 » Locally Computable Structures |
130
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
120
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
Template-driven HTML documents posses an implicit, fixed schema denoting concepts and their relationships in a hierarchical fashion. Discovering this schema remains a relatively ...
104
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper argues that the existing approaches to modeling and characterization of IC malfunctions are inadequate for test and yield learning of Deep Sub-Micron (DSM) products. Tr...
139
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
113
click to vote
CRITIS
2007
15 years 6 months ago
2007
Traditional research on security has been based on the assumption that users would feel secure when provided with secure systems and services. In this research we address factors ...