Sciweavers

2041 search results - page 141 / 409
» Modelling Generic Judgements
Sort
View
3DPVT
2002
IEEE
184views Visualization» more  3DPVT 2002»
15 years 9 months ago
From 3D Shape Capture to Animated Models
This paper presents a framework for construction of animated models from captured surface shape of real objects. Algorithms are introduced to transform the captured surface shape ...
Adrian Hilton, Jonathan Starck, Gordon Collins
ISSS
2002
IEEE
106views Hardware» more  ISSS 2002»
15 years 9 months ago
Modeling Assembly Instruction Timing in Superscalar Architectures
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...
William Fornaciari, Vito Trianni, Carlo Brandolese...
IDEAL
2009
Springer
15 years 9 months ago
A Framework for Pattern-Based Global Models
Abstract. Discovering global models on a dataset (e.g., classifiers, clusterings, summaries) has attracted a lot of attention and many approaches can be found in the literature. H...
Arnaud Giacometti, Eynollah Khanjari Miyaneh, Patr...
ESORICS
2000
Springer
15 years 8 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
CMOT
2007
87views more  CMOT 2007»
15 years 4 months ago
Modeling centralized organization of organizational change
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
Mark Hoogendoorn, Catholijn M. Jonker, Martijn C. ...