Sciweavers

14331 search results - page 179 / 2867
» On the modeling and analysis of obligations
Sort
View
BIB
2007
82views more  BIB 2007»
15 years 6 months ago
High-throughput modeling and analysis of protein structural dynamics
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
Xiong Liu, Hassan A. Karimi
FMICS
2009
Springer
16 years 1 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
GECCO
2005
Springer
148views Optimization» more  GECCO 2005»
15 years 12 months ago
An analysis of island models in evolutionary computation
A need for solving more and more complex problems drives the Evolutionary Computation community towards advanced models of Evolutionary Algorithms. One such model is the island mo...
Zbigniew Skolicki
ICCV
2003
IEEE
15 years 11 months ago
The Catchment Feature Model for Multimodal Language Analysis
The Catchment Feature Model (CFM) addresses two questions in multimodal interaction: how do we bridge video and audio processing with the realities of human multimodal communicati...
Francis K. H. Quek
WSC
2007
15 years 8 months ago
An initial simulation model for aiding policy analysis in urban insurgencies
This paper aims to demonstrate the potential for using the system dynamics computer simulation methodology to gain insight into the evolution of insurgencies. In particular, it ex...
Edward G. Anderson Jr.