1999 search results - page 290 / 400 » Dependently Typed Grammars |
177
click to vote
HT
2004
ACM
15 years 11 months ago
2004
ACM
A high quality of free movement, or mobility, is key to the accessibility, design, and usability of many ‘common-use’ hypermedia resources (Web sites) and key to good mobility...
174
click to vote
COLT
2004
Springer
15 years 11 months ago
2004
Springer
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...
196
click to vote
EGPGV
2004
Springer
15 years 11 months ago
2004
Springer
We present a new parallel multiresolution volume rendering algorithm for visualizing large data sets. Using the wavelet transform, the raw data is first converted into a multires...
150
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
160
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...