2042 search results - page 249 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
133
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
125
click to vote
IJHCI
2010
15 years 2 months ago
2010
Motivation – Investigations of large-scale outages in the North American interconnected electric system often attribute the causes to three T’s: Trees, Training and Tools. To ...
135
click to vote
STOC
2004
ACM
16 years 4 months ago
2004
ACM
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...
152
click to vote
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the person identification system developed at Athens Information Technology and its performance in the CLEAR 2007 evaluations. The system operates on the audiov...
132
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...