41938 search results - page 7946 / 8388 » Complex Systems Modeling |
165
click to vote
ATVA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
183
click to vote
AVBPA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose a relevance feedback system for retrieving a mental face picture from a large image database. This scenario differs from standard image retrieval since the ta...
220
click to vote
AVBPA
2005
Springer
16 years 10 days ago
2005
Springer
Most of the prior work in biometric literature has only emphasized on the issue of feature extraction and classification. However, the critical issue of examining the usefulness of...
174
click to vote
CCS
2005
ACM
16 years 10 days ago
2005
ACM
Indirection-based overlay networks (IONs) are a promising approach for countering distributed denial of service (DDoS) attacks. Such mechanisms are based on the assumption that at...
157
click to vote
CEEMAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...