780 search results - page 28 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
116
click to vote
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
106
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
118
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
We present a simple but efficient model for object segmentation in video scenes that integrates motion and color information in a joint probabilistic framework. Optical flow is mo...
126
click to vote
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
143
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...