Sciweavers

3907 search results - page 302 / 782
» Time, Knowledge, and Choice
Sort
View
ICCAD
1996
IEEE
121views Hardware» more  ICCAD 1996»
15 years 11 months ago
Identification of unsettable flip-flops for partial scan and faster ATPG
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs
GFKL
2007
Springer
184views Data Mining» more  GFKL 2007»
15 years 10 months ago
FSMTree: An Efficient Algorithm for Mining Frequent Temporal Patterns
Research in the field of knowledge discovery from temporal data recently focused on a new type of data: interval sequences. In contrast to event sequences interval sequences contai...
Steffen Kempe, Jochen Hipp, Rudolf Kruse
ICAIL
1995
ACM
15 years 10 months ago
An Implementation of Eisner v. Macomber
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...
L. Thorne McCarty
IJCAI
2007
15 years 8 months ago
Argumentation Based Contract Monitoring in Uncertain Domains
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
Nir Oren, Timothy J. Norman, Alun D. Preece
OWLED
2007
15 years 8 months ago
Ontological Context Visualization
Abstract. Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as ...
Julia Dmitrieva, Yun Bei, Fons J. Verbeek