Sciweavers

2132 search results - page 182 / 427
» The Challenges of Automatic Summarization
Sort
View
ICDAR
2009
IEEE
13 years 8 months ago
Extraction of Nom Text Regions from Stele Images Using Area Voronoi Diagram
Automatic processing of images of steles is a challenging problem due to the variation in their structures and body text characteristics. In this paper, area Voronoi diagram is us...
Thai V. Hoang, Salvatore Tabbone, Ngoc-Yen Pham
CAV
2012
Springer
242views Hardware» more  CAV 2012»
12 years 1 months ago
Exercises in Nonstandard Static Analysis of Hybrid Systems
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
Ichiro Hasuo, Kohei Suenaga
SFM
2011
Springer
253views Formal Methods» more  SFM 2011»
13 years 1 months ago
Application-Layer Connector Synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
ICPR
2004
IEEE
14 years 12 months ago
Parallelizing Motion Segmentation by Perceptual Organization of XYT
The front end of many motion analysis algorithms is usually a process that generates bounding boxes around each moving object, roughly segmenting the objects from the background. ...
Daniel Majchrzak, Sudeep Sarkar
CEC
2009
IEEE
14 years 5 months ago
How robot morphology and training order affect the learning of multiple behaviors
— Automatically synthesizing behaviors for robots with articulated bodies poses a number of challenges beyond those encountered when generating behaviors for simpler agents. One ...
Joshua S. Auerbach, Josh C. Bongard