Sciweavers

2041 search results - page 95 / 409
» Modelling Generic Judgements
Sort
View
EUMAS
2006
15 years 6 months ago
Modeling Holonic Systems with an Organizational approach
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...
Sebastian Rodriguez, Nicolas Gaud, Vincent Hilaire...
FOSSACS
2006
Springer
15 years 8 months ago
A Finite Model Construction for Coalgebraic Modal Logic
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
Lutz Schröder
ICWE
2004
Springer
15 years 10 months ago
Model-Driven Design of Web Applications with Client-Side Adaptation
Abstract. In this paper, we integrate WebML, a high-level model and technology for building server-side Web applications, with UML-Guide, a UML-based system that generates client-s...
Stefano Ceri, Peter Dolog, Maristella Matera, Wolf...
AIFIPP
1992
15 years 5 months ago
Task-Structure Analysis for Knowledge Modeling
We have for several years been working on an approach to knowledge system building that argues for the existence of a close connection between the tasks which the knowledge system ...
B. Chandrasekaran, Todd R. Johnson, Jack W. Smith
COLING
2010
14 years 11 months ago
Multilingual Summarization Evaluation without Human Models
We study correlation of rankings of text summarization systems using evaluation methods with and without human models. We apply our comparison framework to various well-establishe...
Horacio Saggion, Juan Manuel Torres Moreno, Iria d...