Sciweavers

2830 search results - page 113 / 566
» No Science without Semantics
Sort
View
ENTCS
2008
146views more  ENTCS 2008»
13 years 8 months ago
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
Michael J. A. Smith
ISORC
2009
IEEE
14 years 2 months ago
Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization Approach
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
DEXAW
2007
IEEE
141views Database» more  DEXAW 2007»
14 years 2 months ago
Automatic Annotation for Korean--Approach Based on the Contextual Exploration Method
We present an automatic semantic annotation system for Korean based on the Contextual Exploration Method. Creating a morphological analyzer and part-of-speech tagger for the Korea...
Hyunzoo Chai
OTM
2007
Springer
14 years 2 months ago
Leveraging the Expressivity of Grounded Conjunctive Query Languages
We present a pragmatic extension of a Semantic Web query language (including so-called grounded conjunctive queries) with a termination safe functional expression language. This ad...
Alissa Kaplunova, Ralf Möller, Michael Wessel
AOSD
2007
ACM
13 years 12 months ago
Expressive programs through presentation extension
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
Andrew David Eisenberg, Gregor Kiczales