2106 search results - page 195 / 422 » Specifying C concepts |
129
click to vote
JMM2
2008
15 years 4 months ago
2008
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
145
click to vote
JUCS
2008
15 years 4 months ago
2008
: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
147
click to vote
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
15 years 4 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
141
click to vote
SMA
2008
ACM
15 years 4 months ago
2008
ACM
Robust Statistics considers the quality of statistical decisions in the presence of deviations from the ideal model, where deviations are modelled by neighborhoods of a certain siz...
128
click to vote
AIL
2004
15 years 4 months ago
2004
This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system a...