Sciweavers

2602 search results - page 320 / 521
» Semantic Analysis of 'to'
Sort
View
DISCO
1992
161views Hardware» more  DISCO 1992»
15 years 10 months ago
Combinatory Models and Symbolic Computation
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
Karl Aberer
GIR
2007
ACM
15 years 10 months ago
Eliciting concepts of place for text-based image retrieval
This paper describes research being employed in the Tripod project to improve the retrieval of photographs through a comprehensive knowledge of where they were taken. The methods ...
Alistair J. Edwardes, Ross S. Purves
APN
2001
Springer
15 years 10 months ago
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
Peter Deussen
PEPM
1995
ACM
15 years 10 months ago
Abstract Interpretation and Low-Level Code Optimization
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
Saumya K. Debray
CIKM
2009
Springer
15 years 10 months ago
Building domain-oriented sentiment lexicon by improved information bottleneck
This paper describes an adapted information bottleneck approach for construction of domain-oriented sentiment lexicon. The basic idea is to use three kinds of relationships (WWint...
Weifu Du, Songbo Tan