Sciweavers

2778 search results - page 192 / 556
» Limit complexities revisited
Sort
View
ACSC
2009
IEEE
16 years 1 months ago
HOPPER: a hierarchical planning agent for unpredictable domains
Hierarchical Task Networks (HTNs) are a family of powerful planning algorithms that have been successfully applied to many complex, real-world domains. However, they are limited t...
Maciej Wojnar, Peter Andreae
DATE
2009
IEEE
119views Hardware» more  DATE 2009»
16 years 1 months ago
Statistical fault injection: Quantified error and confidence
— Fault injection has become a very classical method to determine the dependability of an integrated system with respect to soft errors. Due to the huge number of possible error ...
Régis Leveugle, A. Calvez, Paolo Maistri, P...
ICALT
2009
IEEE
16 years 1 months ago
Adaptation Languages for Learning: The CAM Meta-model
Adaptive Hypermedia (AH) can offer a richer learning experience, tailored to students’ needs. However, authoring of AH is complex. Several models and systems have been developed...
Maurice Hendrix, Alexandra I. Cristea, Craig Stewa...
ICASSP
2009
IEEE
16 years 1 months ago
Blind system identification for speech dereverberation with Forced Spectral Diversity
The common zeros problem for blind system identification (BSI) is well known. It degrades the performance of classic BSI algorithms and therefore imposes the limit on the perform...
Xiang Lin, Andy W. H. Khong, Patrick A. Naylor
ICSM
2009
IEEE
16 years 1 months ago
Regression model checking
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
Guowei Yang, Matthew B. Dwyer, Gregg Rothermel