8025 search results - page 1001 / 1605 » Combinators Introduction: An Algorithm |
180
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
191
click to vote
LOCA
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents algorithms, simulations, and empirical results of a system that finds relative tag positions in 3D space using a new approach called “mobile infrastructure....
194
click to vote
MCS
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present a fusion technique for Support Vector Machine (SVM) scores, obtained after a dimension reduction with Bilateralprojection-based Two-Dimensional Principal C...
220
click to vote
MSN
2007
Springer
16 years 1 months ago
2007
Springer
Success of Wireless Sensor Networks largely depends whether the deployed network can provide desired coverage with acceptable network lifetime. This paper proposes a distributed pr...
205
click to vote
PKDD
2007
Springer
16 years 1 months ago
2007
Springer
Textual patterns have been used effectively to extract information from large text collections. However they rely heavily on textual redundancy in the sense that facts have to be m...