Sciweavers

18716 search results - page 25 / 3744
» Automatic
Sort
View
POPL
2010
ACM
14 years 8 months ago
Automatic Numeric Abstractions for Heap-Manipulating Programs
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Ku...
ICPP
2007
IEEE
14 years 5 months ago
Automatic Trace-Based Parallelization of Java Programs
We propose and evaluate a novel approach for automatic parallelization. The approach uses traces as units of parallel work. We discuss the benefits and challenges of the use of t...
Borys J. Bradel, Tarek S. Abdelrahman
ICRA
2007
IEEE
126views Robotics» more  ICRA 2007»
14 years 5 months ago
Learning slip behavior using automatic mechanical supervision
— We address the problem of learning terrain traversability properties from visual input, using automatic mechanical supervision collected from sensors onboard an autonomous vehi...
Anelia Angelova, Larry Matthies, Daniel M. Helmick...
AMR
2007
Springer
203views Multimedia» more  AMR 2007»
14 years 5 months ago
Automatic Image Annotation Using a Visual Dictionary Based on Reliable Image Segmentation
Recent approaches in Automatic Image Annotation (AIA) try to combine the expressiveness of natural language queries with approaches to minimize the manual effort for image annotat...
Christian Hentschel, Sebastian Stober, Andreas N&u...
TSD
2007
Springer
14 years 5 months ago
Automatic Czech - Sign Speech Translation
Abstract. This paper is devoted to the problem of automatic translation between Czech and SC in both directions. We introduced our simple monotone phrase-based decoder - SiMPaD sui...
Jakub Kanis, Ludek Müller