1912 search results - page 113 / 383 » On the evaluation of argumentation formalisms |
145
click to vote
ICESS
2007
Springer
16 years 17 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
179
click to vote
WER
2007
Springer
16 years 15 days ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
144
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents a formal framework within which autonomous agents can dynamically select and apply different mechanisms to coordinate their interactions with one ano...
183
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
An innate characteristic of the development of ontologies is that they are often created by independent groups of expertise, which generates the necessity of merging and aligning o...
179
click to vote
NIPS
2008
15 years 7 months ago
2008
We present a simple new Monte Carlo algorithm for evaluating probabilities of observations in complex latent variable models, such as Deep Belief Networks. While the method is bas...