6413 search results - page 267 / 1283 » Classes of cycle bases |
180
click to vote
AAAI
1990
15 years 8 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
190
click to vote
FUIN
2007
15 years 6 months ago
2007
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
164
Voted
EPEW
2006
Springer
15 years 8 months ago
2006
Springer
This paper discusses five different ways to approximate the loss rate in a fundamental two class priority system, where each class has its own finite capacity buffer, as well as an...
185
click to vote
IJNSEC
2007
15 years 6 months ago
2007
In a hierarchical structure, a user in a security class has access to information items of another class if and only if the former class is a predecessor of latter. Based upon cry...
212
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a new method for segmenting actions into primitives and classifying them into a hierarchy of action classes. Our scheme learns action classes in an unsupervised manner ...