17450 search results - page 3399 / 3490 » Numerical Methods with Applications |
177
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
203
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
178
click to vote
HPCA
1998
IEEE
15 years 10 months ago
1998
IEEE
The frequency of accesses to remote data is a key factor affecting the performance of all Distributed Shared Memory (DSM) systems. Remote data caching is one of the most effective...
188
click to vote
LLL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Automatic lemmatisation is a core application for many language processing tasks. In inflectionally rich languages, such as Slovene, assigning the correct lemma to each ...
188
click to vote
VVS
1998
IEEE
15 years 10 months ago
1998
IEEE
High quality rendering and physics-based modeling in volume graphics have been limited because intensity-based volumetric data do not represent surfaces well. High spatial frequen...