Sciweavers

4061 search results - page 597 / 813
» Framework Evolution Tool
Sort
View
NMR
2004
Springer
15 years 10 months ago
A first approach to argument-based recommender systems based on defeasible logic programming
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
Carlos Iván Chesñevar, Ana Gabriela ...
133
Voted
SBIA
2004
Springer
15 years 10 months ago
SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries
Tools and techniques used for automatic and smart analysis of huge data repositories of industries, governments, corporations and scientific institutes are the subjects dealt by th...
Marcelino Pereira dos Santos Silva, Jacques Robin
SPIN
2004
Springer
15 years 10 months ago
Black-Box Conformance Testing for Real-Time Systems
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
Moez Krichen, Stavros Tripakis
139
Voted
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
15 years 10 months ago
Non-Enumerative Path Delay Fault Diagnosis
The first non-enumerative framework for diagnosing path delay faults using zero suppressed binary decision diagrams is introduced. We show that fault free path delay faults with ...
Saravanan Padmanaban, Spyros Tragoudas
143
Voted
ICALT
2003
IEEE
15 years 10 months ago
A Metadata Model for Capturing Presentations
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
Ralf Einhorn, Stephan Olbrich, Wolfgang Nejdl