Sciweavers

14897 search results - page 2457 / 2980
» Environment for statistical computing
Sort
View
SIGGRAPH
1995
ACM
15 years 10 months ago
Versatile and efficient techniques for simulating cloth and other deformable objects
We are presenting techniques for simulating the motion and the deformation of cloth, fabrics or, more generally, deformable surfaces. Our main goal is to be able to simulate any k...
Pascal Volino, Martin Courchesne, Nadia Magnenat-T...
UIST
1995
ACM
15 years 10 months ago
Migratory Applications
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...
Krishna Bharat, Luca Cardelli
REX
1991
15 years 10 months ago
From Timed to Hybrid Systems
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
Oded Maler, Zohar Manna, Amir Pnueli
DEBS
2010
ACM
15 years 10 months ago
An event view model and DSL for engineering an event-based SOA monitoring infrastructure
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
Emmanuel Mulo, Uwe Zdun, Schahram Dustdar
179
Voted
ACCV
2009
Springer
15 years 9 months ago
Image Enhancement of Low-Light Scenes with Near-Infrared Flash Images
Abstract. We present a novel technique for enhancing an image captured in low light by using near-infrared flash images. The main idea is to combine a color image with near-infrar...
Sosuke Matsui, Takahiro Okabe, Mihoko Shimano, Yoi...
« Prev « First page 2457 / 2980 Last » Next »