738 search results - page 43 / 148 » cases 2001 |
ASP
2001
Springer
15 years 2 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
99
Voted
EUSFLAT
2001
14 years 11 months ago
2001
In analogy to the representation of the standard probabilistic average as an expected value of a random variable, a geometric approach to aggregation is proposed. Several properti...
64
Voted
MASCOTS
2001
14 years 11 months ago
2001
This paper presents a tool for MPLS network dimensioning that allows for multi-hour dimensioning of networks supporting simultaneously peer-to-peer and client-server services. The...
ICCAD
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper attempts to determine the capabilities of existing Redundancy Addition and Removal (SRAR) techniques for logic optimization of sequential circuits. To this purpose, we ...
POLICY
2001
Springer
15 years 2 months ago
2001
Springer
Specifying policies doesn’t occur in splendid isolation but as part of refining an enterprise specification. The roles, the tasks, and the business processes of an ODP community ...