Sciweavers

1442 search results - page 223 / 289
» Interactive Retrieval Using Weights
Sort
View
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
15 years 13 days 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
113
Voted
EUROGRAPHICS
2010
Eurographics
15 years 11 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...
98
Voted
ICRA
2008
IEEE
179views Robotics» more  ICRA 2008»
15 years 9 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 8 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
98
Voted
ECCV
2010
Springer
15 years 7 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...