2944 search results - page 479 / 589 » On Well Quasi-orders on Languages |
146
click to vote
IWMM
2010
Springer
15 years 8 months ago
2010
Springer
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...
147
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we present a method for structuring a document according to the information present in its Table of Contents. The detection of the ToC as well as the determination ...
156
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we will briefly describe the approaches taken by the Berkeley Cheshire Group for the Adhoc-TEL 2008 tasks (Mono and Bilingual retrieval). Since the AdhocTEL task is ...
167
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
166
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...