Sciweavers

2602 search results - page 81 / 521
» Semantic Analysis of 'to'
Sort
View
ICTAC
2009
Springer
16 years 27 days ago
A Deadlock-Free Semantics for Shared Memory Concurrency
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
Gérard Boudol
COLING
2002
15 years 6 months ago
Inferring Knowledge from a Large Semantic Network
In this paper, we present a rich semantic network based on a differential analysis. We then detail implemented measures that take into account common and differential features bet...
Dominique Dutoit, Thierry Poibeau
GIS
2007
ACM
16 years 7 months ago
A model for enriching trajectories with semantic geographical information
The collection of moving object data is becoming more and more common, and therefore there is an increasing need for the efficient analysis and knowledge extraction of these data ...
Alejandro A. Vaisman, Bart Kuijpers, Bart Moelans,...
PASTE
2004
ACM
15 years 11 months ago
Evaluating the imprecision of static analysis
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
Atanas Rountev, Scott Kagan, Michael Gibas
COLING
1990
15 years 7 months ago
Information Extraction and Semantic Constraints
We consider the problem of extracting specified types of information from natural language text. To properly analyze the text, we wish to apply semantic (selectional) constraints ...
Ralph Grishman, John Sterling