2016 search results - page 124 / 404 » Megamaps: Construction and Examples |
169
click to vote
TREC
2007
15 years 7 months ago
2007
Abstract. The Robert Gordon University (RGU) participated in the Opinion Retrieval Task of the Trec 2007 Blog Track. At the core of the system we developed is a set of training doc...
190
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
179
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
232
click to vote
DAGSTUHL
2009
15 years 7 months ago
2009
Robotics is a challenging domain that exhibits a clear need for self-adaptive capabilities, as self-adaptation offers the potential for robots to account for their unstable and unp...
176
click to vote
ACS
2008
15 years 6 months ago
2008
Abstract. We define an out-degree for F-coalgebras and show that the coalgebras of outdegree at most form a covariety. As a subcategory of all Fcoalgebras, this class has a termin...