Sciweavers

1043 search results - page 128 / 209
» Reading, Writing and Relations
Sort
View
CHI
2007
ACM
16 years 6 months ago
Understanding memory triggers for task tracking
Software can now track which computer applications and documents you use. This provides us with the potential to help end-users recall past activities for tasks such as status rep...
A. J. Bernheim Brush, Brian Meyers, Desney S. Tan,...
SIGMOD
2008
ACM
141views Database» more  SIGMOD 2008»
16 years 6 months ago
SGL: a scalable language for data-driven games
We propose to demonstrate SGL, a language and system for writing computer games using data management techniques. We will demonstrate a complete game built using the system, and s...
Robert Albright, Alan J. Demers, Johannes Gehrke, ...
FASE
2010
Springer
16 years 27 days ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller
ICDAR
2007
IEEE
16 years 22 days ago
Minimum Error Discriminative Training for Radical-Based Online Chinese Handwriting Recognition
Free style Chinese handwriting recognition continues to pose a challenge to researchers due to the variety of Chinese writing styles. To recognize handwritten characters in an onl...
Y. Zhang, P. Liu, F. Soong
IEEEARES
2007
IEEE
16 years 21 days ago
AProSec: an Aspect for Programming Secure Web Applications
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...
Gabriel Hermosillo, Roberto Gomez, Lionel Seinturi...