8190 search results - page 99 / 1638 » From Timed to Hybrid Systems |
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
ICCAD
2005
IEEE
14 years 5 months ago
2005
IEEE
— This paper presents a new hybrid linear equation solver for quadratic placement. The new solver is a combination of stochastic solver and iterative solver: it is proven in this...
AAAI
1998
13 years 10 months ago
1998
This paper describes a way of extracting concepts from streams of sensor readings. In particular, we demonstrate the value of attractor reconstruction techniques for transforming ...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
There has been a significant increase in interest and participation in social networking websites recently. For many users, social networks are indispensable tools for sharing pe...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
We propose a novel approach to reduce spatially varying motion blur using a hybrid camera system that simultaneously captures high-resolution video at a low-frame rate together wi...