Sciweavers

1288 search results - page 121 / 258
» Visual Generalization in Programming by Example
Sort
View
115
Voted
WSCG
2000
134views more  WSCG 2000»
15 years 4 months ago
Development of JAVA User Interface for Digital Television
The digital television development is one of the most important events in the history of television broadcasting. This paper highlights the user interface issue in digital televis...
Chengyuan Peng, Petri Vuorimaa
117
Voted
AROBOTS
1999
117views more  AROBOTS 1999»
15 years 2 months ago
AV-Shell, an Environment for Autonomous Robotic Applications Using Active Vision
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
Jeffrey A. Fayman, Ehud Rivlin, Henrik I. Christen...
245
Voted
POPL
2003
ACM
16 years 3 months ago
Discovering affine equalities using random interpretation
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
Sumit Gulwani, George C. Necula
ICFP
2004
ACM
16 years 2 months ago
Verification of safety properties for concurrent assembly code
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
Dachuan Yu, Zhong Shao
139
Voted
CHI
2007
ACM
16 years 3 months ago
iStuff mobile: rapidly prototyping new mobile phone interfaces for ubiquitous computing
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
Rafael Ballagas, Faraz Memon, Rene Reiners, Jan O....