12194 search results - page 50 / 2439 » cans 2010 |
ENTCS
2007
13 years 8 months ago
2007
We study, from the expressiveness point of view, the impact of synchrony in the communication primitives that arise when combining together some common and useful programming feat...
LREC
2010
13 years 10 months ago
2010
In this paper, we present work on enhancing the basic data resource of a context-aware system. First, we introduce a supervised approach to extracting geographical relations on a ...
DLT
2010
13 years 9 months ago
2010
We show that for every deterministic bottom-up tree transducer, a unique equivalent transducer can be constructed which is minimal. The construction is based on a sequence of norma...
ISAMI
2010
13 years 6 months ago
2010
Trading is widely recognized as a stressful profession. Taking decisions under stress negatively affects both, the finances and the health of the trader. Providing support to incre...
JSAT
2010
13 years 3 months ago
2010
This paper is devoted to investigate resolution for quantified generalized clause-sets (QCLS). The soundness and refutation completeness are proved. Then quantified generalized Ho...