589 search results - page 75 / 118 » A Language for Multi-dimensional Updates |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
This article describes an exclusively resource-based method of morphological annotation of written Korean text. Korean is an agglutinative language. Our annotator is designed to p...
ICSE
2011
IEEE-ACM
13 years 19 days ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
KDD
2012
ACM
11 years 11 months ago
2012
ACM
Tweets are the most up-to-date and inclusive stream of information and commentary on current events, but they are also fragmented and noisy, motivating the need for systems that c...
ICFP
2008
ACM
14 years 9 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
ASIAN
1998
Springer
14 years 1 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...