643 search results - page 90 / 129 » Merge-Based Computation of Minimal Generators |
CASES
2007
ACM
14 years 2 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
TAMC
2010
Springer
14 years 2 months ago
2010
Springer
In this paper, we investigate partial words, or finite sequences that may have some undefined positions called holes, of maximum subword complexity. The subword complexity functi...
APN
2006
Springer
14 years 1 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
COMPLIFE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Molecular shapes play an important role in molecular interactions, e.g., between a protein and a ligand. The `outer' shape of a molecule can be approximated by its s...
SIGGRAPH
1991
ACM
14 years 1 months ago
1991
ACM
The finite element method is applied to generate primitives that build continuous deformable shapes designed to support a new free-form modeling paradigm. The primitives autonomou...