4902 search results - page 199 / 981 » Multi-agent Systems Methodology |
154
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
158
click to vote
EVOW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The increased availability of biological databases containing representations of complex objects permits access to vast amounts of data. In spite of the recent renewed in...
138
click to vote
EUROSEC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we propose a sound methodology to perform the forensic analysis of hard disks protected with whole-disk encryption software, supposing to be in possession of the app...
141
Voted
COMMA
2008
15 years 6 months ago
2008
This paper describes a method for decision making using argumentation. The method is intended to produce the decision considered most likely to promote the agent's aims and as...
124
Voted
LREC
2008
15 years 6 months ago
2008
In this paper we share our experience and describe the methodologies that we have used in designing and recording large speech databases for applications requiring speech synthesi...