4008 search results - page 354 / 802 » An expressive language of signatures |
157
click to vote
ACL
2010
15 years 4 months ago
2010
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...
203
Voted
DATESO
2010
15 years 4 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
143
click to vote
JCIT
2010
15 years 1 months ago
2010
Much information over the Internet is expressed by natural languages. The management of linguistic information involves an operation of comparison and aggregation. In this paper, ...
297
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
303
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...