Sciweavers

3191 search results - page 121 / 639
» Qualitative Modeling in Education
Sort
View
NAACL
2010
15 years 4 months ago
Unsupervised Modeling of Twitter Conversations
We propose the first unsupervised approach to the problem of modeling dialogue acts in an open domain. Trained on a corpus of noisy Twitter conversations, our method discovers dia...
Alan Ritter, Colin Cherry, Bill Dolan
ICANN
2007
Springer
16 years 1 months ago
A Marker-Based Model for the Ontogenesis of Routing Circuits
Abstract. We present a model for the ontogenesis of information routing architectures in the brain based on chemical markers guiding axon growth. The model produces all-to-all conn...
Philipp Wolfrum, Christoph von der Malsburg
IAT
2006
IEEE
16 years 28 days ago
An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation
Organizations involving multiple agents require adaptation mechanisms to guarantee robustness, especially in critical domains. This paper presents an organizational template to ai...
Mark Hoogendoorn, Jan Treur
QEST
2008
IEEE
16 years 1 months ago
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...
ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
16 years 4 days ago
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
Benedikt Bollig, Martin Leucker