Sciweavers

9604 search results - page 302 / 1921
» The Duality of TIme and Information
Sort
View
TCS
2008
15 years 6 months ago
On temporal logic constraint solving for analyzing numerical data time series
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
François Fages, Aurélien Rizk
ANOR
2010
112views more  ANOR 2010»
15 years 5 months ago
Online stochastic optimization under time constraints
This paper considers online stochastic optimization problems where uncertainties are characterized by a distribution that can be sampled and where time constraints severely limit t...
Pascal Van Hentenryck, Russell Bent, Eli Upfal
TNN
2011
126views more  TNN 2011»
15 years 1 months ago
Video Time Encoding Machines
—We investigate architectures for time encoding and time decoding of visual stimuli such as natural and synthetic video streams (movies, animation). The architecture for time enc...
Aurel A. Lazar, Eftychios A. Pnevmatikakis
171
Voted
CVPR
2009
IEEE
17 years 1 months ago
Capturing Multiple Illumination Conditions using Time and Color Multiplexing
Many vision and graphics problems such as relighting, structured light scanning and photometric stereo, need im- ages of a scene under a number of different illumination conditi...
Bert De Decker (Hasselt University), Jan Kautz (Un...
CHI
2005
ACM
16 years 7 months ago
Predicting task execution time on handheld devices using the keystroke-level model
The Keystroke-Level Model (KLM) has been shown to predict skilled use of desktop systems, but has not been validated on a handheld device that uses a stylus instead of a keyboard....
Lu Luo, Bonnie E. John