4205 search results - page 125 / 841 » Typed Mobile Objects |
124
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
The discipline of narratology has long recognized the need to classify documents as instances of different text types. We have discovered that classification is as applicable to h...
146
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Services for locating mobile objects are often organized as a distributed search tree. The advantage of such an organization is that the service can easily scale as a distributed ...
113
click to vote
CGF
2000
15 years 4 months ago
2000
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
136
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
187
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...