Sciweavers

1643 search results - page 125 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
CIBSE
2008
ACM
14 years 12 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
MVA
1996
142views Computer Vision» more  MVA 1996»
14 years 11 months ago
Interactive Image Segmentation System for Visual Simulation
To use photographs in visual simulation such as synthesizing new images by overlapping an object in an image onto the other, physically significant regions corresponding to object...
Makoto Kato
ENTCS
2007
85views more  ENTCS 2007»
14 years 10 months ago
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
We present a technique for inducing functional programs from few, well chosen input/output-examples (I/Oexamples). Potential applications for automatic program or algorithm induct...
Emanuel Kitzelmann, Ute Schmid
NAR
2002
132views more  NAR 2002»
14 years 9 months ago
euGenes: a eukaryote genome information system
euGenes is a genome information system and database that provides a common summary of eukaryote genes and genomes, at web site http://iubio.bio.indiana.edu/eugenes/. Seven popular...
Donald G. Gilbert
DSN
2007
IEEE
15 years 4 months ago
Improving Recoverability in Multi-tier Storage Systems
Enterprise storage systems typically contain multiple storage tiers, each having its own performance, reliability, and recoverability. The primary motivation for this multi-tier o...
Marcos Kawazoe Aguilera, Kimberly Keeton, Arif Mer...