3235 search results - page 320 / 647 » Partial Redundant Modeling |
148
click to vote
ISCIS
2004
Springer
16 years 1 days ago
2004
Springer
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
204
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
161
click to vote
BMCV
2000
Springer
15 years 11 months ago
2000
Springer
Recent psychological and neurological evidence suggests that biological object recognition is a process of matching sensed images to stored iconic memories. This paper presents a p...
144
click to vote
APN
1999
Springer
15 years 11 months ago
1999
Springer
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
182
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...