Sciweavers

5787 search results - page 260 / 1158
» Generic User Modeling Systems
Sort
View
ENTCS
2007
91views more  ENTCS 2007»
15 years 7 months ago
Towards a Coordination Model for Interactive Systems
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...
Marco Antonio Barbosa, Luís Soares Barbosa,...
SIGSOFT
2004
ACM
16 years 19 days ago
A type system for object models
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
Jonathan Edwards, Daniel Jackson, Emina Torlak
ICEBE
2005
IEEE
127views Business» more  ICEBE 2005»
16 years 25 days ago
UML Models of Agents in a Multi-Agent E-Commerce System
Recently a new model agent-based e-commerce system was proposed, in which rule-based mechanism representation was combined with lightweight modular mobile agent design. Furthermor...
Costin Badica, Maria Ganzha, Marcin Paprzycki
SIGECOM
2010
ACM
183views ECommerce» more  SIGECOM 2010»
16 years 1 days ago
Assessing regret-based preference elicitation with the UTPREF recommendation system
Product recommendation and decision support systems must generally develop a model of user preferences by querying or otherwise interacting with a user. Recent approaches to elici...
Darius Braziunas, Craig Boutilier
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...