Sciweavers

15416 search results - page 121 / 3084
» Embeddings of Computable Structures
Sort
View
127
Voted
CHI
2010
ACM
15 years 2 months ago
Investigating narrative in mobile games for seniors
Narratives are an intimate part of our lives. Based on behavioral research suggesting that older adults tend to process text better at discourse level, this study investigates the...
Sharon Lynn Chu Yew Yee, Henry Been-Lirn Duh, Fran...
CODES
2005
IEEE
15 years 9 months ago
Enhancing security through hardware-assisted run-time validation of program data properties
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...
162
Voted
SIAMDM
2010
194views more  SIAMDM 2010»
14 years 10 months ago
Combinatorics and Geometry of Finite and Infinite Squaregraphs
Abstract. Squaregraphs were originally defined as finite plane graphs in which all inner faces are quadrilaterals (i.e., 4-cycles) and all inner vertices (i.e., the vertices not in...
Hans-Jürgen Bandelt, Victor Chepoi, David Epp...
CVPR
2006
IEEE
16 years 5 months ago
Epipolar Geometry of Central Projection Systems Using Veronese Maps
We study the epipolar geometry between views acquired by mixtures of central projection systems including catadioptric sensors and cameras with lens distortion. Since the projecti...
João P. Barreto, Kostas Daniilidis
STACS
2009
Springer
15 years 10 months ago
Polynomial-Time Approximation Schemes for Subset-Connectivity Problems in Bounded-Genus Graphs
We present the first polynomial-time approximation schemes (PTASes) for the following subset-connectivity problems in edge-weighted graphs of bounded genus: Steiner tree, low-conn...
Glencora Borradaile, Erik D. Demaine, Siamak Tazar...