Sciweavers

1442 search results - page 223 / 289
» Interactive Retrieval Using Weights
Sort
View
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
14 years 7 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
EUROGRAPHICS
2010
Eurographics
15 years 6 months ago
Motion Blur for EWA Surface Splatting
This paper presents a novel framework for elliptical weighted average (EWA) surface splatting with time-varying scenes. We extend the theoretical basis of the original framework b...
Simon Heinzle, Johanna Wolf, Yoshihiro Kanamori, T...
ICRA
2008
IEEE
179views Robotics» more  ICRA 2008»
15 years 4 months ago
How can human motion prediction increase transparency?
—A major issue in the field of human-robot interaction for assistance to manipulation is transparency. This basic feature qualifies the capacity for a robot to follow human mov...
Nathanaël Jarrassé, Jamie Paik, Vivian...
CSB
2005
IEEE
103views Bioinformatics» more  CSB 2005»
15 years 3 months ago
ECOME: A simple model for an evolving consumption web
ECOME is an interactive, graph-based model for simulating an evolving, closed consumption web. It demonstrates the fundamental behavior of a global ecosystem over evolutionary tim...
Christopher Bystroff, Sam DeLuca, Carl N. McDaniel
ECCV
2010
Springer
15 years 3 months ago
On Parameter Learning in CRF-based Approaches to Object Class Image Segmentation
Recent progress in per-pixel object class labeling of natural images can be attributed to the use of multiple types of image features and sound statistical learning approaches. Wit...