18451 search results - page 3374 / 3691 » Selecting a Selection Procedure |
186
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
199
click to vote
ECOOP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Software systems obey the 80/20 rule: aggressively optimizing a vital few execution paths yields large speedups. However, finding the vital few paths can be difficult, e...
175
Voted
ECWEB
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents how text -mining techniques can be used to analyze an enterprise’s external environment searching for competitors, related products and services, marketing st...
201
click to vote
EMSOFT
2004
Springer
16 years 3 days ago
2004
Springer
Minimizing energy consumption is an important issue in the design of real-time embedded systems. As many embedded systems are powered by rechargeable batteries, the goal is to ext...
189
click to vote
ESA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Classical network flow theory allows decomposition of flow into several chunks of arbitrary sizes traveling through the network on different paths. In the first part ...