6650 search results - page 257 / 1330 » models 2009 |
180
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
168
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
A botnet is a network of compromised hosts that is under the control of a single, malicious entity, often called the botmaster. We present a system that aims to detect bots, indepe...
178
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
We present an approach to derive patient specific coronary models from ECG-gated CTA data and their application for the alignment of CTA with mono-plane X-ray imaging during interv...
174
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Automated negotiation agents capable of negotiating efficiently with people must deal with the fact that people are diverse in their behavior and each individual might negotiate ...
152
click to vote
ICDS
2009
IEEE
16 years 1 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...