1753 search results - page 189 / 351 » State Machines |
118
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
165
click to vote
DATAMINE
1998
15 years 4 months ago
1998
Decision trees have proved to be valuable tools for the description, classi cation and generalizationof data. Work on constructingdecisiontrees from data exists in multiplediscipli...
170
Voted
CICLING
2004
Springer
15 years 8 months ago
2004
Springer
Domain shift is a challenging issue in dialogue management. This paper shows how to extract domain knowledge for dialogue model adaptation. The basic semantic concepts are derived ...
136
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
172
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...