158 search results - page 22 / 32 » Strong logics of first and second order |
AAAI
2004
15 years 3 months ago
2004
Reactive planning using assumptions is a well-known approach to tackle complex planning problems for nondeterministic, partially observable domains. However, assumptions may be wr...
126
click to vote
IADIS
2004
15 years 3 months ago
2004
This paper addresses two questions. Firstly, how is it possible for an application to become aware of network conditions and secondly, given this awareness, how can a system be de...
101
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, both non-mixing and mixing local minima of the entropy are analyzed from the viewpoint of blind source separation (BSS); they correspond respectively to acceptable a...
101
click to vote
ECIR
2008
Springer
15 years 3 months ago
2008
Springer
Cross-language Information Retrieval requires good methods for translating cross-lingual spelling variants which are not covered by the available dictionary resources. FITE-TRT is ...
121
click to vote
PDP
2007
IEEE
15 years 8 months ago
2007
IEEE
Universal Plug and Play (UPnP) is a widely accepted standard for automatically detecting devices and services in a local area network as well as for describing and controlling the...