Sciweavers

1999 search results - page 195 / 400
» Dependently Typed Grammars
Sort
View
ELP
1991
15 years 10 months ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning
DIAGRAMS
2008
Springer
15 years 8 months ago
The Effects of Users' Background Diagram Knowledge and Task Characteristics upon Information Display Selection
Abstract. This paper explores factors associated with effective external representation (ER) use. We describe an information-processing approach to the assessment of ER knowledge. ...
Beate Grawemeyer, Richard Cox
CGF
2010
99views more  CGF 2010»
15 years 6 months ago
Understanding Interactive Legends: a Comparative Evaluation with Standard Widgets
Interactive information visualization systems rely on widgets to allow users to interact with the data and modify the representation. We define interactive legends as a class of c...
Nathalie Henry Riche, Bongshin Lee, Catherine Plai...
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 6 months ago
Coding Strategies for Noise-free Relay Cascades with Half-Duplex Constraint
Abstract--Two types of noise-free relay cascades are investigated. Networks where a source communicates with a distant receiver via a cascade of half-duplex constrained relays, and...
Tobias Lutz, Christoph Hausl, Ralf Koetter
JASIS
2010
316views more  JASIS 2010»
15 years 4 months ago
Information sources and perceived success in corporate finance
: The work of corporate finance professionals is information intensive. In spite of that the practices and motivations of their information preferences have been researched very li...
Isto Huvila