Sciweavers

2786 search results - page 150 / 558
» A Practical Technique for Process Abstraction
Sort
View
KI
2009
Springer
15 years 8 months ago
Meta-level Information Extraction
Abstract. This paper presents a novel approach for meta-level information extraction (IE). The common IE process model is extended by utilizing transfer knowledge and meta-features...
Peter Klügl, Martin Atzmueller, Frank Puppe
120
Voted
ICADL
2007
Springer
148views Education» more  ICADL 2007»
15 years 8 months ago
Adaptive Search Suggestions for Digital Libraries
Abstract. In this paper, an adaptive tool for providing suggestions during the information search process is presented. The tool uses case-based reasoning techniques to find the m...
Sascha Kriewel, Norbert Fuhr
CAV
1998
Springer
147views Hardware» more  CAV 1998»
15 years 6 months ago
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
Kenneth L. McMillan
FLAIRS
2004
15 years 3 months ago
Mixed-Initiative Case Replay
Mixed-initiative case replay introduces an active human into the case-based planning process. The goals of this novel technique are to utilize the strengths of machine-based case ...
Michael T. Cox
ASPDAC
2010
ACM
169views Hardware» more  ASPDAC 2010»
14 years 11 months ago
Adaptive performance control with embedded timing error predictive sensors for subthreshold circuits
Abstract-- This paper presents an adaptive technique for compensating manufacturing and environmental variability in subthreshold circuits using "canary flip-flop" that c...
Hiroshi Fuketa, Masanori Hashimoto, Yukio Mitsuyam...