Sciweavers

2761 search results - page 259 / 553
» Collaborative model merging
Sort
View
ECTEL
2007
Springer
15 years 10 months ago
Integration in Generic Tool Learning Design to Support Complex Learning Methodologies
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
Luis de la Fuente Valentín
ECOOPW
1998
Springer
15 years 8 months ago
Agent Roles and Aspects
Agent systems are highly distributed and feature widespread coordination and collaboration. Because of these characteristics, a traditional object oriented approach to software de...
Elizabeth A. Kendall
SCP
2011
228views Communications» more  SCP 2011»
14 years 11 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
CADE
2006
Springer
16 years 4 months ago
Description Logic Reasoner: System Description
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
Dmitry Tsarkov, Ian Horrocks
ICASSP
2009
IEEE
15 years 11 months ago
Exploiting T-junctions for depth segregation in single images
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...
Mariella Dimiccoli, Philippe Salembier