3256 search results - page 502 / 652 » Applications of Formal Methods to System Design and Verifica... |
101
click to vote
ICPR
2010
IEEE
15 years 4 days ago
2010
IEEE
We propose a novel method to estimate the object that a user is focusing on by using the synchronization between the movements of objects and a user's eyes as a cue. We first ...
MVA
2007
14 years 11 months ago
2007
This paper deals with a recently proposed nonparametric approach to camera calibration, which is applicable to any type of sensor design. Currently, no relative quantitative perfo...
125
Voted
ICANN
2010
Springer
14 years 8 months ago
2010
Springer
Accurate time series forecasting are important for several business, research, and application of engineering systems. Evolutionary Neural Networks are particularly appealing becau...
RTSS
1994
IEEE
15 years 2 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...