Sciweavers

21183 search results - page 4150 / 4237
» Adaptive Testing by Test
Sort
View
154
Voted
DKE
2002
113views more  DKE 2002»
15 years 3 months ago
A general strategy for decomposing topological invariants of spatial databases and an application
Topological invariants of spatial databases (i.e., finite structures that capture the topological properties of the database) are receiving increasing attention since they can act...
Serafino Cicerone, Daniele Frigioni, Paolino Di Fe...
IDA
2000
Springer
15 years 3 months ago
Supervised model-based visualization of high-dimensional data
When high-dimensional data vectors are visualized on a two- or three-dimensional display, the goal is that two vectors close to each other in the multi-dimensional space should als...
Petri Kontkanen, Jussi Lahtinen, Petri Myllymä...
ENTCS
2002
166views more  ENTCS 2002»
15 years 3 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
CVIU
2007
146views more  CVIU 2007»
15 years 3 months ago
Face detection in gray scale images using locally linear embeddings
The problem of face detection remains challenging because faces are non-rigid objects that have a high degree of variability with respect to head rotation, illumination, facial ex...
Samuel Kadoury, Martin D. Levine
127
Voted
JACM
2000
81views more  JACM 2000»
15 years 3 months ago
Relational queries over interpreted structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin
« Prev « First page 4150 / 4237 Last » Next »