Sciweavers

4498 search results - page 293 / 900
» How to Invent Functions
Sort
View
ISMAR
2007
IEEE
15 years 11 months ago
Human-Centered Development of an AR Handheld Display
In this paper we present the process of designing and developing a fully functional and interactive AR handheld device. Based on a human-centered approach we describe the results ...
Raphael Grasset, Andreas Dünser, Mark Billing...
CADE
2007
Springer
15 years 11 months ago
Proving Termination by Bounded Increase
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
Jürgen Giesl, René Thiemann, Stephan S...
ERCIMDL
2007
Springer
87views Education» more  ERCIMDL 2007»
15 years 11 months ago
A Model of Uncertainty for Near-Duplicates in Document Reference Networks
We introduce a model of uncertainty where documents are not uniquely identified in a reference network, and some links may be incorrect. It generalizes the probabilistic approach ...
Claudia Hess, Michel de Rougemont
120
Voted
IWINAC
2007
Springer
15 years 11 months ago
Brain Organization and Computation
Theories of how the brain computes can be differentiated in three general conceptions: the algorithmic approach, the neural information processing (neurocomputational) approach an...
Andreas Schierwagen
PAKDD
2007
ACM
128views Data Mining» more  PAKDD 2007»
15 years 11 months ago
Selecting a Reduced Set for Building Sparse Support Vector Regression in the Primal
Recent work shows that Support vector machines (SVMs) can be solved efficiently in the primal. This paper follows this line of research and shows how to build sparse support vector...
Liefeng Bo, Ling Wang, Licheng Jiao