Sciweavers

4737 search results - page 578 / 948
» The LOGIC negotiation model
Sort
View
WSTST
2005
Springer
16 years 1 months ago
Soft Modeling of Group Dynamics and Behavioral Attributes
: Social networks, religion and culture of human beings play a major role in the day-to-day activities performed by each individual in group oriented missions. The aggregation and ...
Soumya Banerjee, Ajith Abraham, Sang-Yong Han, P. ...
CSL
2004
Springer
16 years 29 days ago
Parameterized Model Checking of Ring-Based Message Passing Systems
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems,  ¢¡ , comprised of finite, but arbitrarily many,...
E. Allen Emerson, Vineet Kahlon
IEAAIE
2004
Springer
16 years 28 days ago
Machine Learning Approaches for Inducing Student Models
The main issue in e-learning is student modelling, i.e. the analysis of a student’s behaviour and prediction of his/her future behaviour and learning performance. Indeed, it is d...
Oriana Licchelli, Teresa Maria Altomare Basile, Ni...
ATAL
2004
Springer
15 years 11 months ago
A Model of Almost Everything: Norms, Structure and Ontologies in Agent Organizations
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
Virginia Dignum, Javier Vázquez-Salceda, Fr...
DAS
2006
Springer
15 years 11 months ago
Offline Handwritten Arabic Character Segmentation with Probabilistic Model
The research on offline handwritten Arabic character recognition has received more and more attention in recent years, because of the increasing needs of Arabic document digitizati...
Pingping Xiu, Liangrui Peng, Xiaoqing Ding, Hua Wa...