Sciweavers

3951 search results - page 26 / 791
» Automatic amortized analysis
Sort
View
ICIAP
2007
ACM
14 years 1 months ago
Computation of Binary Objects Sides Number using Discrete Geometry, Application to Automatic Pebbles Shape Analysis
We are working in collaboration with geographers to study a set of pebbles digital images. Among the features geographers want to get automatically, pebble sides number is intuiti...
Tristan Roussillon, Laure Tougne, Isabelle Sivigno...
NAACL
2003
13 years 11 months ago
A Hybrid Approach to Content Analysis for Automatic Essay Grading
We present CarmelTC, a novel hybrid text classification approach for automatic essay grading. Our evaluation demonstrates that the hybrid CarmelTC approach outperforms two “bag...
Carolyn Penstein Rosé, Antonio Roque, Dumis...
IVC
2002
143views more  IVC 2002»
13 years 9 months ago
Towards the automatic analysis of complex human body motions
The classification of human body motion is an integral component for the automatic interpretation of video sequences. In a first part we present an effective approach that uses mi...
Jens Rittscher, Andrew Blake, Stephen J. Roberts
DATE
2000
IEEE
108views Hardware» more  DATE 2000»
14 years 2 months ago
Automatic Abstraction for Worst-Case Analysis of Discrete Systems
c Abstraction for Worst-Case Analysis of Discrete Systems Felice Balarin Cadence Berkeley Laboratories Recently, a methodology for worst-case analysis of discrete systems has been...
Felice Balarin
ECRTS
2002
IEEE
14 years 2 months ago
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
Raimund Kirner, Roland Lang, Gerald Freiberger, Pe...