6750 search results - page 883 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
198
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
182
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
The detection of new information in a document stream is an important component of many potential applications. In this work, a new novelty detection approach based on the identif...
175
click to vote
CIBCB
2005
IEEE
15 years 8 months ago
2005
IEEE
— We present an integrative method for clustering coregulated genes and elucidating their underlying regulatory mechanisms. We use multi-state partition functions and thermodynam...
174
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
We present the Priority R-tree, or PR-tree, which is the first R-tree variant that always answers a window query using O((N/B)1-1/d + T/B) I/Os, where N is the number of ddimensio...
188
Voted
DLOG
2006
15 years 7 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...