1746 search results - page 129 / 350 » A Constructive Semantics for ALC |
152
Voted
JUCS
2010
14 years 11 months ago
2010
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
257
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
141
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
163
Voted
SIGIR
2008
ACM
2008
ACM
Multi-document summarization via sentence-level semantic analysis and symmetric matrix factorization
15 years 4 months ago
Multi-document summarization aims to create a compressed summary while retaining the main characteristics of the original set of documents. Many approaches use statistics and mach...
152
click to vote
COLING
2002
15 years 4 months ago
2002
Parsli is a finite-state (FS) parser which can be tailored to the lexicon, syntax, and semantics of a particular application using a hand-editable declarative lexicon. The lexicon...