Sciweavers

DLOG
2010
13 years 9 months ago
An Algebraic Approach to Dynamic Epistemic Logic
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
Prakash Panangaden, Caitlin Phillips, Doina Precup...
CCR
1999
66views more  CCR 1999»
13 years 11 months ago
Operational and performance issues of a CBQ router
The use of scheduling mechanisms like Class Based Queueing (CBQ) is expected to play a key role in next generation multiservice IP networks. In this paper we attempt an experiment...
Fulvio Risso, Panos Gevros
SIGPLAN
2008
13 years 11 months ago
Programming languages as part of core computer science
While the programming languages course played a key role in Curricula '68, '78, and '91, Curriculum 2001 replaced most of the content in programming languages with ...
Kim B. Bruce, Stephen N. Freund
SAC
2006
ACM
13 years 11 months ago
Transforming OCL constraints: a context change approach
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Jordi Cabot, Ernest Teniente
KER
2008
88views more  KER 2008»
13 years 11 months ago
Ontology change: classification and survey
Ontologies play a key role in the advent of the Semantic Web. An important problem when dealing with ontologies is the modification of an existing ontology in response to a certai...
Giorgos Flouris, Dimitris Manakanatas, Haridimos K...
IIE
2008
88views more  IIE 2008»
13 years 11 months ago
Development of Generative Learning Objects Using Feature Diagrams and Generative Techniques
Abstract. Learning Objects (LOs) play a key role for supporting eLearning. In general, however, the development of LOs remains a vague issue, because there is still no clearly defi...
Vytautas Stuikys, Robertas Damasevicius
COGSCI
2010
105views more  COGSCI 2010»
13 years 11 months ago
The Role of Explanation in Discovery and Generalization: Evidence From Category Learning
Research in education and cognitive development suggests that explaining plays a key role in learning and generalization: When learners provide explanations--even to themselves--t...
Joseph J. Williams, Tania Lombrozo
BMCBI
2008
208views more  BMCBI 2008»
13 years 11 months ago
GraphFind: enhancing graph searching by low support data mining techniques
Background: Biomedical and chemical databases are large and rapidly growing in size. Graphs naturally model such kinds of data. To fully exploit the wealth of information in these...
Alfredo Ferro, Rosalba Giugno, Misael Mongiov&igra...
KR
2004
Springer
14 years 4 months ago
Reaching Agreement Through Argumentation: A Possibilistic Approach
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
Leila Amgoud, Henri Prade
STORYTELLING
2007
Springer
14 years 5 months ago
Being There: Participants and Spectators in Interactive Narrative
This paper considers the problem of evaluating interactive narrative and discusses the storification process through which a narrative is internalised. It establishes the range of ...
Ruth Aylett, Sandy Louchart