Sciweavers

2944 search results - page 150 / 589
» Robust Semantic Construction
Sort
View
172
Voted
ICAIL
2007
ACM
15 years 10 months ago
Deep semantic interpretations of legal texts
One of the main obstacles to progress in the field of artificial intelligence and law is the natural language barrier, but the technology of natural language processing has advanc...
L. Thorne McCarty
ICCL
1994
IEEE
15 years 10 months ago
Semantics for a Real-Time Object-Oriented Programming Language
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
Ichiro Satoh, Mario Tokoro
214
Voted
FMOODS
2006
15 years 8 months ago
Defining Object-Oriented Execution Semantics Using Graph Transformations
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
217
Voted
CAISE
2010
Springer
15 years 8 months ago
Supporting Semantic Search on Heterogeneous Semi-structured Documents
This paper presents SHIRI-Querying 3 , an approach for semantic search on semi-structured documents. We propose a solution to tackle incompleteness and imprecision of semantic anno...
Yassine Mrabet, Nacéra Bennacer, Nathalie P...
186
Voted
TLCA
2007
Springer
16 years 1 months ago
Initial Algebra Semantics Is Enough!
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
Patricia Johann, Neil Ghani