Sciweavers

3819 search results - page 383 / 764
» Predicting Dependability by Testing
Sort
View
CEEMAS
2005
Springer
16 years 7 days ago
Diagnosis of Plans and Agents
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
Nico Roos, Cees Witteveen
ISMIR
2005
Springer
150views Music» more  ISMIR 2005»
16 years 6 days ago
Comparing Pitch Spelling Algorithms
A pitch spelling algorithm predicts the pitch names of the notes in a musical passage when given the onset-time, MIDI note number and possibly the duration and voice of each note....
David Meredith, Geraint A. Wiggins
KI
2005
Springer
16 years 5 days ago
Diagnosis of Plan Execution and the Executing Agent
We discuss the application of Model-Based Diagnosis in (agent-based) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It is assum...
Nico Roos, Cees Witteveen
DAC
2004
ACM
16 years 3 days ago
Parametric yield estimation considering leakage variability
Leakage current has become a stringent constraint in today’s processor designs in addition to traditional constraints on frequency. Since leakage current exhibits a strong inver...
Rajeev R. Rao, Anirudh Devgan, David Blaauw, Denni...
INFOCOM
2002
IEEE
15 years 11 months ago
Session-Based Overload Control in QoS-Aware Web Servers
—With the explosive use of Internet, contemporary web servers are susceptible to overloads and their services deteriorate drastically and often cause denial of services. In this ...
Huamin Chen, Prasant Mohapatra