2891 search results - page 357 / 579 » More or Less Elaborate |
186
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
152
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper extends previous work showing how fluctuating crosstalk in a deterministic fitness function introduces noise into genetic algorithms. In that work, we modeled fluctuati...
191
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
For the two last decades, people have tried to provide practical electronic cash schemes, with more or less success. Indeed, the most secure ones generally suffer from inefficiency...
198
click to vote
PASTE
1998
ACM
15 years 10 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
216
click to vote
KES
2000
Springer
15 years 10 months ago
2000
Springer
An approach to multi-view face detection based on head pose estimation is presented in this paper. Support Vector Regression is employed to solve the problem of pose estimation. T...