Sciweavers

4359 search results - page 620 / 872
» Automated Pipeline Design
Sort
View
COMPSAC
2003
IEEE
15 years 12 months ago
A Test-Driven Component Development Framework based on the CORBA Component Model
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Jo...
CHI
2003
ACM
15 years 12 months ago
Administrative assistants as interruption mediators
When designing automated systems that make decisions about when to allow or deny interruptions, the methods of professional interruption mediators are an important source of infor...
Laura Dabbish, Ryan Shaun Baker
JCDL
2003
ACM
112views Education» more  JCDL 2003»
15 years 12 months ago
Protein Association Discovery in Biomedical Literature
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...
Yueyu Fu, Javed Mostafa, Kazuhiro Seki
CSL
2003
Springer
15 years 12 months ago
A Logic for Probability in Quantum Systems
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
Ron van der Meyden, Manas Patra
ILP
2003
Springer
15 years 11 months ago
On Condensation of a Clause
In this paper, we investigate condensation of a clause. First, we extend a substitution graph introduced by Scheffer et al. (1996) to a total matcher graph. Then, we give a correc...
Kouichi Hirata