2539 search results - page 181 / 508 » Semantic frameworks for e-government |
200
click to vote
ENTCS
2006
15 years 6 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
311
Voted
ENTCS
2006
15 years 6 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
171
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In a dynamic service oriented environment it is desirable for service consumers and providers to offer and obtain guarantees regarding their capabilities and requirements. WS-Agre...
167
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
Many methods are available for computing semantic similarity between individual words, but certain NLP tasks require the comparison of word pairs. This paper presents a kernel-bas...
166
click to vote
ITNG
2007
IEEE
16 years 27 days ago
2007
IEEE
Requirement analysis is an important process in the design and development of information systems. Various tools and methodologies are used to gather the user requirements. These ...