Sciweavers

626 search results - page 28 / 126
» The Automatic Interpretation of Nominalizations
Sort
View
CAV
2004
Springer
159views Hardware» more  CAV 2004»
14 years 1 months ago
Static Program Analysis via 3-Valued Logic
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
ACL
2010
13 years 5 months ago
Models of Metaphor in NLP
Automatic processing of metaphor can be clearly divided into two subtasks: metaphor recognition (distinguishing between literal and metaphorical language in a text) and metaphor i...
Ekaterina Shutova
CVPR
2004
IEEE
14 years 9 months ago
Automatic Method for Correlating Horizons across Faults in 3D Seismic Data
Horizons are visible boundaries between certain sediment layers in seismic data, and a fault is a crack of horizons and it is recognized in seismic data by the discontinuities of ...
Fitsum Admasu, Klaus D. Tönnies
LICS
2000
IEEE
13 years 12 months ago
Automatic Structures
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
Achim Blumensath, Erich Grädel
AVSS
2005
IEEE
14 years 1 months ago
Video surveillance for aircraft activity monitoring
— This paper presents a complete visual surveillance system for the automatic scene interpretation of airport aprons. The system comprises two modules — Scene Tracking and Scen...
Mark Borg, David Thirde, James M. Ferryman, Floren...