Sciweavers

3218 search results - page 206 / 644
» Timed Extensions for SDL
Sort
View
171
Voted
EKAW
2004
Springer
15 years 11 months ago
Refactoring Methods for Knowledge Bases
The manual development of large knowledge systems is a difficult and error-prone task. In order to facilitate extensions to an existing knowledge base the structural design of the...
Joachim Baumeister, Frank Puppe, Dietmar Seipel
154
Voted
JSSPP
2004
Springer
15 years 11 months ago
Workload Characteristics of a Multi-cluster Supercomputer
This paper presents a comprehensive characterization of a multi-cluster supercomputer1 workload using twelvemonth scientific research traces. Metrics that we characterize include...
Hui Li, David L. Groep, Lex Wolters
KR
2004
Springer
15 years 11 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
ATS
2003
IEEE
93views Hardware» more  ATS 2003»
15 years 11 months ago
Optimal System-on-Chip Test Scheduling
1 In this paper, we show that the scheduling of tests on the test access mechanism (TAM) is equivalent to independent job scheduling on identical machines and we make use of an exi...
Erik Larsson, Hideo Fujiwara
155
Voted
IDA
2003
Springer
15 years 11 months ago
A Semi-supervised Method for Learning the Structure of Robot Environment Interactions
For a mobile robot to act autonomously, it must be able to construct a model of its interaction with the environment. Oates et al. developed an unsupervised learning method that pr...
Axel Großmann, Matthias Wendt, Jeremy Wyatt