Sciweavers

3128 search results - page 186 / 626
» Finite element method
Sort
View
GMP
2002
IEEE
110views Solid Modeling» more  GMP 2002»
15 years 8 months ago
Acoustics Scattering on Arbitrary Manifold Surfaces
We propose the use of surface subdivision as adaptive and higher-order boundary elements for solving a Helmholtz partial differential equation to calculate accurate acoustics sca...
Chandrajit L. Bajaj, Guoliang Xu, Joe D. Warren
COLING
2002
15 years 3 months ago
A Method of Cluster-Based Indexing of Textual Data
This paper presents a framework for clustering in text-based information retrieval systems. The prominent feature of the proposed method is that documents, terms, and other relate...
Akiko N. Aizawa
WOLLIC
2009
Springer
15 years 10 months ago
Classic-Like Analytic Tableaux for Finite-Valued Logics
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
Carlos Caleiro, João Marcos
INFOCOM
2005
IEEE
15 years 9 months ago
On the maximal throughput of networks with finite buffers and its application to buffered crossbars
— The advent of packet networks has motivated many researchers to study the performance of networks of queues in the last decade or two. However, most of the previous work assume...
Paolo Giaccone, Emilio Leonardi, Devavrat Shah
FM
2005
Springer
98views Formal Methods» more  FM 2005»
15 years 9 months ago
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...