Sciweavers

1416 search results - page 181 / 284
» An Exact Interpretation of While
Sort
View
PLDI
2009
ACM
14 years 4 months ago
Typed self-representation
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
Tillmann Rendel, Klaus Ostermann, Christian Hofer
CIKM
2009
Springer
14 years 4 months ago
Generating synopses for document-element search
Scientists often search for document-elements like tables, figures, or algorithm pseudo-codes. Domain scientists and researchers report important data, results and algorithms usi...
Sumit Bhatia, Shibamouli Lahiri, Prasenjit Mitra
SEMWEB
2009
Springer
14 years 4 months ago
Reasoning in Metamodeling Enabled Ontologies
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engi...
Nophadol Jekjantuk, Gerd Gröner, Jeff Z. Pan
AUTOMOTIVEUI
2009
ACM
14 years 4 months ago
On timing and modality choice with local danger warnings for drivers
We present an experimental study on the effectiveness of five modality variants (speech, text-only, icon-only, two combinations of text and icons) for presenting local danger wa...
Yujia Cao, Sandro Castronovo, Angela Mahr, Christi...
UIST
2009
ACM
14 years 4 months ago
Enabling always-available input with muscle-computer interfaces
Previous work has demonstrated the viability of applying offline analysis to interpret forearm electromyography (EMG) and classify finger gestures on a physical surface. We extend...
T. Scott Saponas, Desney S. Tan, Dan Morris, Ravin...