Sciweavers

11324 search results - page 1970 / 2265
» Coordination Models and Languages
Sort
View
IJAOSE
2010
126views more  IJAOSE 2010»
15 years 4 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
130
Voted
IJMBL
2010
84views more  IJMBL 2010»
15 years 4 months ago
JAMIOLAS 3.0: Supporting Japanese Mimicry and Onomatopoeia Learning Using Sensor Data
: In this paper, we propose an improved context-aware system for supporting to learning Japanese mimicry and onomatopoeia (MIO) using sensor data. In our two previous studies, we p...
Bin Hou, Hiroaki Ogata, Masayuki Miyata, Mengmeng ...
ALT
2010
Springer
15 years 3 months ago
A Spectral Approach for Probabilistic Grammatical Inference on Trees
We focus on the estimation of a probability distribution over a set of trees. We consider here the class of distributions computed by weighted automata - a strict generalization of...
Raphaël Bailly, Amaury Habrard, Franço...
COMPSEC
2010
142views more  COMPSEC 2010»
15 years 3 months ago
Provably correct Java implementations of Spi Calculus security protocols specifications
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
Alfredo Pironti, Riccardo Sisto
172
Voted
COLING
2010
15 years 1 months ago
Learning to Predict Readability using Diverse Linguistic Features
In this paper we consider the problem of building a system to predict readability of natural-language documents. Our system is trained using diverse features based on syntax and l...
Rohit J. Kate, Xiaoqiang Luo, Siddharth Patwardhan...
« Prev « First page 1970 / 2265 Last » Next »