Sciweavers

2741 search results - page 272 / 549
» Engineering Mathematical Knowledge
Sort
View
KR
2004
Springer
15 years 9 months ago
Inferential Complexity Control for Model-Based Abduction
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...
Gregory M. Provan
ICCAD
2000
IEEE
149views Hardware» more  ICCAD 2000»
15 years 8 months ago
Dynamic Response Time Optimization for SDF Graphs
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
Dirk Ziegenbein, Jan Uerpmann, Ralph Ernst
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 7 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
126
Voted
EUROPAR
2006
Springer
15 years 7 months ago
Model-Based Performance Diagnosis of Master-Worker Parallel Computations
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
Li Li, Allen D. Malony
147
Voted
COLT
1991
Springer
15 years 7 months ago
The Role of Learning in Autonomous Robots
Applications of learning to autonomous agents (simulated or real) have often been restricted to learning a mapping from perceived state of the world to the next action to take. Of...
Rodney A. Brooks