12399 search results - page 840 / 2480 » Deformable structural models |
210
click to vote
PPOPP
2005
ACM
16 years 1 months ago
2005
ACM
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...
167
click to vote
HT
2004
ACM
16 years 1 months ago
2004
ACM
In this paper we identify a common aim between ubiquitous computing and hypertext systems: the desire to present navigable, located and structured information. We propose that exi...
200
click to vote
TSD
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
180
click to vote
ESOP
2003
Springer
16 years 26 days ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
198
click to vote
SI3D
1999
ACM
15 years 12 months ago
1999
ACM
In this paper, we explore the problem of interactively manipulating plant models without sacrificing their botanical accuracy. The primary technical contribution of the paper is ...