Sciweavers

433 search results - page 45 / 87
» Building an Interpreter with Vmgen
Sort
View
LPAR
2010
Springer
13 years 5 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
CVPR
2011
IEEE
13 years 4 months ago
Enforcing Similarity Constraints with Integer Programming for Better Scene Text Recognition
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...
David Smith, Jacqueline Feild, Eric Learned-Miller
ACMDIS
2010
ACM
13 years 2 months ago
Human-to-dancer interaction: designing for embodied performances in a participatory installation
In this article we describe the creation and exhibit of a participatory installation performance. Graffiti Dance allows the audience to graffiti paint with light onto a buildings ...
David A. Shamma, Renata M. Sheppard, Jürgen S...
CORR
2011
Springer
138views Education» more  CORR 2011»
13 years 2 months ago
A new approach to nonrepetitive sequences
A sequence is nonrepetitive if it does not contain two adjacent identical blocks. The remarkable construction of Thue asserts that 3 symbols are enough to build an arbitrarily long...
Jaroslaw Grytczuk, Jakub Kozik, Piotr Micek
EDBT
2011
ACM
254views Database» more  EDBT 2011»
12 years 11 months ago
SocialSearch: enhancing entity search with social network matching
This paper introduces the problem of matching people names to their corresponding social network identities such as their Twitter accounts. Existing tools for this purpose build u...
Gae-won You, Seung-won Hwang, Zaiqing Nie, Ji-Rong...