Sciweavers

3040 search results - page 421 / 608
» Independent Natural Extension
Sort
View
VR
2003
IEEE
164views Virtual Reality» more  VR 2003»
15 years 12 months ago
VIS-Tracker: A Wearable Vision-Inertial Self-Tracker
We present a demonstrated and commercially viable self-tracker, using robust software that fuses data from inertial and vision sensors. Compared to infrastructurebased trackers, s...
Eric Foxlin, Leonid Naimark
SIGGRAPH
2003
ACM
15 years 12 months ago
TensorTextures
This paper introduces a tensor framework for image-based rendering. In particular, we develop an algorithm called TensorTextures that learns a parsimonious model of the bidirectio...
M. Alex O. Vasilescu, Demetri Terzopoulos
AI
2003
Springer
15 years 11 months ago
Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT
Abstract. In this paper, we study the behaviour of the Scaling and Probabilistic Smoothing (SAPS) dynamic local search algorithm on the unweighted MAXSAT problem. MAX-SAT is a conc...
Dave A. D. Tompkins, Holger H. Hoos
ER
2003
Springer
158views Database» more  ER 2003»
15 years 11 months ago
REF: A Practical Agent-Based Requirement Engineering Framework
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
Paolo Bresciani, Paolo Donzelli
FOSSACS
2003
Springer
15 years 11 months ago
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
Andreas Abel, Ralph Matthes, Tarmo Uustalu