284 search results - page 41 / 57 » MGRS in Incomplete Information Systems |
183
click to vote
TSE
2012
13 years 8 months ago
2012
— As firms increasingly rely on information systems to perform critical functions the consequences of software defects can be catastrophic. Although the software engineering lite...
152
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Despite the long history and consistent use of quantitative empirical methods to evaluate information visualization techniques and systems, our understanding of interface use rema...
171
click to vote
SDM
2004
SIAM
15 years 7 months ago
2004
SIAM
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...
163
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: A wide range of research areas in bioinformatics, molecular biology and medicinal chemistry require precise chemical structure information about molecules and reaction...
198
click to vote
CORR
2012
Springer
14 years 1 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...