186 search results - page 2 / 38 » Deriving Mixed Evaluation from Standard Evaluation for a Sim... |
ICDE
2002
IEEE
14 years 8 months ago
2002
IEEE
Web-based information systems provide to their users the ability to interleave querying and browsing during their information discovery efforts. The MIX system provides an API cal...
FGCN
2007
IEEE
13 years 7 months ago
2007
IEEE
The IETF is currently standardizing a light-weight protocol framework for server redundancy and session failover: Reliable Server Pooling (RSerPool). It is the novel combination o...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— We present a simple, intuitive argument based on “invariant imbedding” in the spirit of dynamic programming to derive a stagewise second-order backpropagation (BP) algorith...
SIGIR
1999
ACM
13 years 11 months ago
1999
ACM
This paper presents a means of automatically deriving a hierarchical organization of concepts from a set of documents without use of training data or standard clustering technique...