Sciweavers

3005 search results - page 517 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
ICAS
2006
IEEE
139views Robotics» more  ICAS 2006»
16 years 13 days ago
Predicting Resource Demand in Dynamic Utility Computing Environments
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...
Artur Andrzejak, Sven Graupner, Stefan Plantikow
DAC
2006
ACM
16 years 10 days ago
Use of C/C++ models for architecture exploration and verification of DSPs
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
David Brier, Raj S. Mitra
ATS
2005
IEEE
91views Hardware» more  ATS 2005»
16 years 5 hour ago
SOC Test Scheduling with Test Set Sharing and Broadcasting
11 Due to the increasing test data volume needed to test corebased System-on-Chip, several test scheduling techniques minimizing the test application time have been proposed. In co...
Anders Larsson, Erik Larsson, Petru Eles, Zebo Pen...
ISDA
2005
IEEE
15 years 12 months ago
Hybrid Fuzzy-Genetic Algorithm Approach for Crew Grouping
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
Hongbo Liu, Zhanguo Xu, Ajith Abraham
AIED
2005
Springer
15 years 12 months ago
Analyzing Completeness and Correctness of Utterances Using an ATMS
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...
Maxim Makatchev, Kurt VanLehn