Sciweavers

1941 search results - page 46 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
COMPSAC
2002
IEEE
15 years 4 months ago
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
Robert John Walters
CONCUR
2010
Springer
15 years 28 days ago
Theory by Process
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Yuxi Fu
FMICS
2007
Springer
15 years 6 months ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
CGF
2004
118views more  CGF 2004»
14 years 11 months ago
Cultural Heritage Preservation Using Constructive Shape Modeling
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
Carl Vilbrandt, Galina Pasko, Alexander A. Pasko, ...
3DPVT
2006
IEEE
210views Visualization» more  3DPVT 2006»
15 years 5 months ago
Multiview 3D Tracking with an Incrementally Constructed 3D Model
We propose a multiview tracking method for rigid objects. Assuming that a part of the object is visible in at least two cameras, a partial 3D model is reconstructed in terms of a ...
Karel Zimmermann, Tomás Svoboda, Jiri Matas