8196 search results - page 230 / 1640 » Computational Modeling and Complexity Science |
145
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
172
click to vote
ACL
2010
15 years 4 months ago
2010
Hierarchical HMM (HHMM) parsers make promising cognitive models: while they use a bounded model of working memory and pursue incremental hypotheses in parallel, they still achieve...
157
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
Changing conditions for teaching increase our motivation to understand the teaching and learning process. First time investigators of educational settings often feel uncertain abo...
157
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
172
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents a new multi-agent physics-based simulation framework (DISCOVERY), supporting experiments with self-organizing underwater sensor and actuator networks....