Sciweavers

1812 search results - page 77 / 363
» Test Early, Test Often
Sort
View
WEBI
2009
Springer
15 years 6 months ago
Reasoning in Pervasive Environments: An Implementation of Concept Abduction with Mobile OODBMS
The paper focuses on an implementation of concept abduction with an Object-oriented Database Management System (OODBMS). OWL-DL Knowledge Bases have been translated to an OO versi...
Michele Ruta, Floriano Scioscia, Tommaso Di Noia, ...
ARVLSI
1997
IEEE
96views VLSI» more  ARVLSI 1997»
15 years 4 months ago
Circuits and Microarchitecture for Gigahertz VLSI Designs
IBM founded the Austin Research Laboratory to investigate high-performance microprocessorbased systems. Initial e orts have focused on design for high frequency. This resulted in ...
Kevin J. Nowka, H. Peter Hofstee
DAC
1990
ACM
15 years 4 months ago
Symbolic Simulation - Techniques and Applications
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
Randal E. Bryant
INTERACT
2007
15 years 1 months ago
Characterizing the Diversity in Users' Perceptions
This paper proposes a novel approach to modeling the diversity in users’ perceptions, based on a mixture of qualitative and quantitative techniques: the Repertory Grid Technique ...
Evangelos Karapanos, Jean-Bernard Martens
COLING
1992
15 years 1 months ago
Modularity, Parallelism, And Licensing In A Principle-Based Parser For German
This paper presents a direct implementation of Government-Binding theory in a parser for German, which faithfully models the modular structure of the theory. The modular design yi...
Sebastian Millies