4211 search results - page 704 / 843 » Types as Abstract Interpretations |
161
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
127
click to vote
KI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
152
click to vote
MABS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A simulation-based tool is described which will be used to investigate how the actors in a transport chain are expected to act when different types of governmental contro...
134
click to vote
MCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. One of the potential advantages of multiple classifier systems is an increased robustness to noise and other imperfections in data. Previous experiments on classificati...
133
click to vote
NN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Voice quality has been defined as the characteristic auditory colouring of an individual's voice, derived from a variety of laryngeal and supralaryngeal features and...