5973 search results - page 982 / 1195 » Fundamental forms of information |
176
click to vote
AIS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we survey our research on smart meeting rooms and its relevance for augmented reality meeting support and virtual reality generation of meetings in real time or off-l...
218
click to vote
ASE
2006
15 years 6 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
182
Voted
IAJIT
2008
15 years 6 months ago
2008
: Compression is the process of representing information in a compact form so as to reduce the bit rate for transmission or storage while maintaining acceptable fidelity or data qu...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
210
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...