Sciweavers

2830 search results - page 59 / 566
» No Science without Semantics
Sort
View
81
Voted
GI
2007
Springer
15 years 6 months ago
Dealing with Knowledge Intensive Services in E-Government. A Case Study
Abstract: Governmental processes are complex and knowledge-intensive. Most process management systems fail to support them in an adequate way. On the other hand semantic technologi...
Daniela Feldkamp, Knut Hinkelmann, Holger Wache
86
Voted
GI
2007
Springer
15 years 6 months ago
EgoIR: Ontology-based Information Retrieval Intended for eGovernment
: The eGovernment is a field of applications for the Semantic Web. The eGovernment also is becoming an important research area and faces considerable challenges to achieve interope...
Fernando Ortiz-Rodríguez, Raúl Palma...
93
Voted
RTA
2004
Springer
15 years 5 months ago
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
Jacob Matthews, Robert Bruce Findler, Matthew Flat...
TCS
2011
14 years 7 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
110
Voted
LICS
2009
IEEE
15 years 7 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica