4895 search results - page 594 / 979 » Tools for Grammar Engineering |
149
click to vote
IUI
2004
ACM
16 years 8 days ago
2004
ACM
With the advent of in-home networking and ubiquitous computing, it becomes apparent that we have an increasing need for automatic adaptation of user interfaces to different device...
161
click to vote
IUI
2004
ACM
16 years 8 days ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
197
Voted
SAC
2004
ACM
16 years 8 days ago
2004
ACM
In our present work we introduce the use of data fusion in the field of DoS anomaly detection. We present DempsterShafer’s Theory of Evidence (D-S) as the mathematical foundati...
163
Voted
WOSS
2004
ACM
16 years 8 days ago
2004
ACM
Self-adaptive software continually evaluates and modifies its own behavior to meet changing demands. One of the key issues in constructing such software is that of planning when a...
185
click to vote
AMAST
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...