Sciweavers

9659 search results - page 1929 / 1932
» Points on Computable Curves
Sort
View
EMSOFT
2011
Springer
12 years 8 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
ICDAR
2011
IEEE
12 years 8 months ago
Language-Independent Text Lines Extraction Using Seam Carving
Abstract—In this paper, we present a novel languageindependent algorithm for extracting text-lines from handwritten document images. Our algorithm is based on the seam carving ap...
Raid Saabni, Jihad El-Sana
TEI
2012
ACM
331views Hardware» more  TEI 2012»
12 years 4 months ago
Body-centric interaction with mobile devices
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
Xiang 'Anthony' Chen
CL
2012
Springer
11 years 11 months ago
Object swapping challenges: An evaluation of imageSegment
In object-oriented systems, runtime memory is composed of an object graph in which objects refer to other objects. This graph of objects evolves while the system is running. Graph...
Mariano Martinez Peck, Noury Bouraqadi, Sté...
ICDE
2012
IEEE
241views Database» more  ICDE 2012»
11 years 11 months ago
GeoFeed: A Location Aware News Feed System
Abstract—This paper presents the GeoFeed system; a locationaware news feed system that provides a new platform for its users to get spatially related message updates from either ...
Jie Bao 0003, Mohamed F. Mokbel, Chi-Yin Chow
« Prev « First page 1929 / 1932 Last » Next »