2310 search results - page 288 / 462 » The selection efficiency of tournaments |
CADE
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
207
Voted
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
Market analysis is a representative data analysis process with many applications. In such an analysis, critical numerical measures, such as profit and sales, fluctuate over time a...
95
Voted
PERCOM
2007
ACM
16 years 12 days ago
2007
ACM
As devices become more reliant on battery power, it is essential to design energy efficient protocols. While there is a vast amount of research into power save protocols for unicas...
83
Voted
PERCOM
2006
ACM
16 years 12 days ago
2006
ACM
The Optimized Link State Routing (OLSR) protocol is a proactive link-state protocol bafor ad-hoc networks. It uses an optimization called Multi-Point Relays (MPRs) to provide an e...
99
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...