1420 search results - page 19 / 284 » Multi-point Constructive Search |
AISC
2008
Springer
15 years 3 months ago
2008
Springer
Intergeo is a European project dedicated to the sharing of interactive geometry constructions. This project is setting up an annotation and search web platform which will offer and...
109
click to vote
CADE
1997
Springer
15 years 6 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
150
Voted
ESWA
2006
15 years 1 months ago
2006
Following the advent of the Internet technology and the rapid growth of its applications, users have spent long periods of time browsing through the ocean of information found in ...
133
click to vote
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
We address a specific enterprise document search scenario, where the information need is expressed in an elaborate manner. In our scenario, information needs are expressed using a...
122
click to vote
PAA
2007
15 years 1 months ago
2007
Feature selection methods are often used to determine a small set of informative features that guarantee good classification results. Such procedures usually consist of two compon...