Sciweavers

11784 search results - page 1974 / 2357
» Improving Software Process Improvement
Sort
View
CIKM
2001
Springer
15 years 11 months ago
Merging Techniques for Performing Data Fusion on the Web
Data fusion on the Web refers to the merging, into a unified single list, of the ranked document lists, which are retrieved in response to a user query by more than one Web search...
Theodora Tsikrika, Mounia Lalmas
SIGGRAPH
2010
ACM
15 years 11 months ago
Feature-aligned T-meshes
High-order and regularly sampled surface representations are more efficient and compact than general meshes and considerably simplify many geometric modeling and processing algor...
Ashish Myles, Nico Pietroni, Denis Kovacs, Denis Z...
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
15 years 11 months ago
Coverage Metrics for Temporal Logic Model Checking
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
FGR
2000
IEEE
128views Biometrics» more  FGR 2000»
15 years 11 months ago
Understanding Purposeful Human Motion
Human motion can be understood on many levels. The most basic level is the notion that humans are collections of things that have predictable visual appearance. Next is the notion...
Christopher Richard Wren, Brian P. Clarkson, Alex ...
ICIP
2000
IEEE
15 years 11 months ago
Texture Similarity Measurement Using Kullback-Leibler Distance on Wavelet Subbands
The focus of this work is on using texture information for searching, browsing and retrieving images from a large database. In the wavelet approaches, texture is characterized by ...
Minh N. Do, Martin Vetterli
« Prev « First page 1974 / 2357 Last » Next »