8928 search results - page 431 / 1786 » Modeling Current Events |
145
click to vote
ICANN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Building on the current understanding of neural architecture of the visual cortex, we present a graphical model for learning and classification of motion patterns in vid...
182
click to vote
TACAS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
117
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
128
click to vote
IV
2008
IEEE
15 years 11 months ago
2008
IEEE
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...
126
click to vote
IEEEIAS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...