15073 search results - page 2811 / 3015 » Probabilistic algorithms for computing resultants |
123
click to vote
MSWIM
2004
ACM
15 years 7 months ago
2004
ACM
Discrete event network simulators have emerged as popular tools for verification and performance evaluation for various wireless networks. Nevertheless, the desire to model such ...
111
click to vote
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Auctions are an important means for purchasing material in the era of e-commerce. Research on auctions often studies them in isolation. In practice, however, auction agents are pa...
117
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We propose a new approach to the notion of recognition, which departs from the classical definitions by three specific features. First, it does not rely on automata. Secondly, it...
EDM
2008
15 years 3 months ago
2008
Bayesian graphical models are commonly used to build student models from data. A number of standard algorithms are available to train Bayesian models from student skills assessment...