429 search results - page 65 / 86 » General Pseudo-random Generators from Weaker Models of Compu... |
CGF
2008
13 years 7 months ago
2008
We present a novel approach to parameterize a mesh with disk topology to the plane in a shape-preserving manner. Our key contribution is a local/global algorithm, which combines a...
CIVR
2007
Springer
14 years 1 months ago
2007
Springer
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...
BMCBI
2010
13 years 7 months ago
2010
Background: Prediction of protein localization in subnuclear organelles is more challenging than general protein subcelluar localization. There are only three computational models...
LCTRTS
2010
Springer
13 years 5 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...