Sciweavers

5232 search results - page 138 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
118
Voted
SIGGRAPH
1999
ACM
15 years 6 months ago
Automatic Image Placement to Provide a Guaranteed Frame Rate
We present a preprocessing algorithm and run-time system for rendering 3D geometric models at a guaranteed frame rate. Our approach trades off space for frame rate by using images...
Daniel G. Aliaga, Anselmo Lastra
98
Voted
CHES
2005
Springer
108views Cryptology» more  CHES 2005»
15 years 7 months ago
Further Hidden Markov Model Cryptanalysis
We extend the model of Karlof and Wagner for modelling side channel attacks via Input Driven Hidden Markov Models (IDHMM) to the case where not every state corresponds to a single ...
P. J. Green, Richard Noad, Nigel P. Smart
IRI
2008
IEEE
15 years 8 months ago
Model check stochastic supply chains
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
Li Tan, Shenghan Xu
IEAAIE
2011
Springer
14 years 5 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
110
Voted
QI
2009
Springer
160views Physics» more  QI 2009»
15 years 8 months ago
Beyond Ontology in Information Systems
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
Christian Flender, Kirsty Kitto, Peter Bruza