9166 search results - page 19 / 1834 » A framework for comparing models of computation |
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
While there are a considerable number of software engineering methodologies for developing multi-agent systems, not much work has been reported on the evaluation and comparison of ...
SIBGRAPI
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we compare two distinct primal sketch feature extraction operators: one based on neural network feature learning and the other based on mathematical models of the f...
COMPLEX
2009
Springer
14 years 29 days ago
2009
Springer
Creating ensembles of random but "realistic" topologies for complex systems is crucial for many tasks such as benchmark generation and algorithm analysis. In general, exp...
SPIN
1999
Springer
14 years 1 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
ICTAI
2010
IEEE
13 years 7 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...