6102 search results - page 462 / 1221 » Generating Optimizing Specializers |
172
click to vote
CVIU
2004
15 years 4 months ago
2004
The generation of 3-D models from uncalibrated image sequences is a challenging problem that has been investigated in many research activities in the last decade. In particular, a...
125
click to vote
ENTCS
2002
15 years 4 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...
147
click to vote
JAR
2000
15 years 4 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
115
click to vote
MONET
2007
15 years 4 months ago
2007
— Large-scale mobile ad-hoc networks require flexible and stable clustered network structure for efficient data collection and dissemination. In this paper, a scheme is present...
148
click to vote
GCB
2010
Springer
15 years 2 months ago
2010
Springer
: The current high-throughput sequencing technologies produce gigabytes of data even when prokaryotic genomes are processed. In a subsequent assembly phase, the generated overlappi...