1644 search results - page 276 / 329 » Finding Dominators in Practice |
145
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
123
click to vote
AUSDM
2008
Springer
15 years 5 months ago
2008
Springer
Predicting stock market movements is always difficult. Investors try to guess a stock's behavior, but it often backfires. Thumb rules and intuition seems to be the major indi...
126
click to vote
ECIS
2004
15 years 4 months ago
2004
This paper reports results from two field trials of TrottingPal, a mobile system that supports event information management and seamless collaboration between spectators at the tr...
126
click to vote
ACL
2000
15 years 4 months ago
2000
The definitions of the basic concepts, rules, and constraints of centering theory involve underspecified notions such as `previous utterance', `realization', and `rankin...
163
Voted
ALMOB
2007
15 years 3 months ago
2007
Background: Feature selection plays an undeniably important role in classification problems involving high dimensional datasets such as microarray datasets. For filter-based featu...