7123 search results - page 58 / 1425 » The Ordered Set of Rough Sets |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
DM
1999
13 years 9 months ago
1999
Maximal sets of s mutually orthogonal Latin squares of order v are constructed for in
ISCIS
2004
Springer
14 years 3 months 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...
CP
2009
Springer
14 years 10 months ago
2009
Springer
This paper presents the first experimental evaluation of the length-lex domain for set variables. The implementation is based on bound-consistency algorithms proposed in earlier wo...
ICDE
2007
IEEE
14 years 4 months ago
2007
IEEE
User-defined preferences allow personalized ranking of query results. A user provides a declarative specification of his/her preferences, and the system is expected to use that ...