10568 search results - page 258 / 2114 » Computer Intelligence and Formalization |
126
Voted
CHI
1993
ACM
15 years 7 months ago
1993
ACM
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...
132
click to vote
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
124
click to vote
CG
2000
Springer
15 years 3 months ago
2000
Springer
The field of computer graphics has matured greatly since the formal statement of the introductory undergraduate course for computer science majors was created for ACM/IEEE Curricu...
133
click to vote
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
96
Voted
COLING
1996
15 years 4 months ago
1996
This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algo...