Sciweavers

5647 search results - page 812 / 1130
» A word from the editor
Sort
View
ICCS
2007
Springer
15 years 10 months ago
Adaptive Sparse Grid Classification Using Grid Environments
Common techniques tackling the task of classification in data mining employ ansatz functions associated to training data points to fit the data as well as possible. Instead, the fe...
Dirk Pflüger, Ioan Lucian Muntean, Hans-Joach...
178
Voted
ICA3PP
2009
Springer
15 years 10 months ago
Finding Object Depth Using Stereoscopic Photography
Stereoscopic scenes of the mankind is naturally caused by synthesizing two images produced by the parallax of the two eyes of human. Such being the case, mankind can distinguish t...
Yu-Hua Lee, Tai-Pao Chuang
SIGIR
2010
ACM
15 years 10 months ago
Query recovery of short user queries: on query expansion with stopwords
User queries to search engines are observed to predominantly contain inflected content words but lack stopwords and capitalization. Thus, they often resemble natural language que...
Johannes Leveling, Gareth J. F. Jones
CAV
2004
Springer
130views Hardware» more  CAV 2004»
15 years 10 months ago
Global Model-Checking of Infinite-State Systems
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
Nir Piterman, Moshe Y. Vardi
CGI
2004
IEEE
15 years 10 months ago
A Versatile and Robust Model for Geometrically Complex Deformable Solids
In this paper, we present a versatile and robust model for geometrically complex deformable solids. Our approach can be applied to deformable tetrahedral meshes and to deformable ...
Matthias Teschner, Bruno Heidelberger, Matthias M&...