10874 search results - page 2020 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
176
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
Today's processors provide a rich source of statistical information on program execution characteristics through hardware counters. However, traditionally, operating system (...
180
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
178
click to vote
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
Design debug remains one of the major bottlenecks in the VLSI design cycle today. Existing automated solutions strive to aid engineers in reducing the debug effort by identifying ...
134
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
We investigate how to effectively incorporate spatial structure information into histogram features for boosting visual classification performance motivated by recently proposed M...
171
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
We map intrusion events to known exploits in the network attack graph, and correlate the events through the corresponding attack graph distances. From this, we construct attack sc...