Sciweavers

2070 search results - page 244 / 414
» A Reduced-Basis Element Method
Sort
View
ICDAR
1999
IEEE
15 years 8 months ago
Context Filters for Document-based Information Filtering
In this paper we propose a keyPhrase-sense disambiguation methodology called "context filters" for use in keyPhrase based information filtering systems. A context filter...
K. R. K. Murthy, S. Sathiya Keerthi
CGI
1998
IEEE
15 years 8 months ago
Incremental Techniques for Implicit Surface Modeling
This paper describes an incremental polygonization technique for implicit surfaces built from skeletal elements. Our method lends itself for an interactive modeling system as the ...
Eric Galin, Samir Akkouche
PARA
1998
Springer
15 years 8 months ago
Exploiting Visualization and Direct Manipulation to Make Parallel Tools More Communicative
Parallel tools rely on graphical techniques to improve the quality of user interaction. In this paper, we explore how visualization and direct manipulation can be exploited in para...
Cherri M. Pancake
IPPS
1997
IEEE
15 years 8 months ago
The Sparse Cyclic Distribution against its Dense Counterparts
Several methods have been proposed in the literature for the distribution of data on distributed memory machines, either oriented to dense or sparse structures. Many of the real a...
Gerardo Bandera, Manuel Ujaldon, María A. T...
KBSE
1997
IEEE
15 years 8 months ago
Moving Proofs-As-Programs into Practice
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
James L. Caldwell