Sciweavers

6614 search results - page 211 / 1323
» Semantics of Information as Interactive Computation
Sort
View
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
CHI
2010
ACM
16 years 1 months ago
GUI testing using computer vision
Testing a GUI’s visual behavior typically requires human testers to interact with the GUI and to observe whether the expected results of interaction are presented. This paper pr...
Tsung-Hsiang Chang, Tom Yeh, Robert C. Miller
ECCE
2007
15 years 10 months ago
A proactive recommendation system for writing: helping without disrupting
Motivation
Mari Carmen Puerta Melguizo, Lou Boves, Anita Desh...
CSE
2009
IEEE
16 years 1 months ago
A Semantic Imitation Model of Social Tag Choices
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
Wai-Tat Fu, Thomas George Kannampallil, Ruogu Kang
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
15 years 11 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...