2631 search results - page 21 / 527 » Less is More |
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
ECIR
2006
Springer
13 years 9 months ago
2006
Springer
Although it has been shown that in test collection based studies, stemming improves retrieval effectiveness in an information retrieval system, morphological variations of queries ...
CN
2007
13 years 7 months ago
2007
Since traditional telecommunication networks assume dumb terminals, there are rarely feature interactions involving end systems. However, in Internet telephony systems, such featur...
VLSISP
2008
13 years 7 months ago
2008
Simulation is an important tool to study and analyze sensor networks. Prior work in sensor network simulation focuses on homogeneous devices. In this paper, we present a system tha...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
: This work deals with a classic problem: "Given a set of coins among which there is a counterfeit coin of a different weight, find this counterfeit coin using ordinary balanc...