6549 search results - page 291 / 1310 » Parsimonious additive models |
158
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
189
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
In a distributed sensor network, large number of sensors deployed which communicate among themselves to selforganize a wireless ad hoc network. We propose an energyefficient level...
160
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The estimation of the impulse response (IR) of a propagation channel is necessary for a large number of acoustic applications: underwater communication, detection and localization...
159
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
190
click to vote
AMR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...