2539 search results - page 286 / 508 » Semantic frameworks for e-government |
154
click to vote
MIR
2005
ACM
16 years 5 days ago
2005
ACM
We address evaluation of image understanding and retrieval large scale image data in the context of three evaluation projects. The first project is a comprehensive strategy for e...
174
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
152
click to vote
EGOV
2004
Springer
16 years 43 min ago
2004
Springer
An electronic registry is the main mechanism for the official distribution of public records, which are created within the framework of administrative procedures and business trans...
158
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
160
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...