4255 search results - page 324 / 851 » Cover |
167
click to vote
IWPEC
2004
Springer
16 years 2 days ago
2004
Springer
Based on a series of known and new examples, we propose the generalized setting of “distance from triviality” measurement as a reasonable and prospective way of determining use...
164
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
151
Voted
KR
2004
Springer
16 years 2 days ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
173
click to vote
LCPC
2004
Springer
16 years 2 days ago
2004
Springer
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...
165
click to vote
MMB
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we propose a general survivability quantification framework which is applicable to a wide range of system architectures, applications, failure/recovery behaviors, ...