Sciweavers

2539 search results - page 118 / 508
» Semantic frameworks for e-government
Sort
View
ATAL
2005
Springer
16 years 2 days ago
Towards a formal model for task allocation via coalition formation
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
Leila Amgoud
LREC
2010
148views Education» more  LREC 2010»
15 years 8 months ago
Towards an ISO Standard for Dialogue Act Annotation
This paper describes an ISO project developing an international standard for annotating dialogue with semantic information, in particular concerning the communicative functions of...
Harry Bunt, Jan Alexandersson, Jean Carletta, Jae-...
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 10 months ago
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
Andreas Abel, Thierry Coquand, Miguel Pagano
CSREAEEE
2008
64views Business» more  CSREAEEE 2008»
15 years 8 months ago
Representing IT Governance Frameworks as Metamodels
Abstract - Up to now, there is little academic support for the challenges of IT management. As a reaction, various best practice frameworks were developed, which can be subsumed un...
Matthias Goeken, Stefanie Alter
VL
2002
IEEE
105views Visual Languages» more  VL 2002»
15 years 11 months ago
A Visual Framework for Modelling with Heterogeneous Notations
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
Jean Flower, John Howse, John Taylor, Stuart Kent