1344 search results - page 69 / 269 » Automatic performance analysis with periscope |
HYBRID
2009
Springer
15 years 3 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
Automatic classification of an image as a photograph of a real-scene or as a painting is potentially useful for image retrieval and website filtering applications. The main contri...
119
Voted
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Automatic non-rigid registration of 3D time-varying data is fundamental in many vision and graphics applications such as facial expression analysis, synthesis, and recognition. De...
107
click to vote
SIGIR
2003
ACM
15 years 4 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
109
click to vote
PE
2010
Springer
14 years 10 months ago
2010
Springer
We present the KPC-Toolbox, a library of MATLAB scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way based on the recently proposed Kro...