6562 search results - page 78 / 1313 » Noetherianity and Combination Problems |
105
click to vote
ICML
2004
IEEE
16 years 1 months ago
2004
IEEE
Reinforcement learning deals with learning optimal or near optimal policies while interacting with the environment. Application domains with many continuous variables are difficul...
81
Voted
VLSID
2006
IEEE
16 years 1 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
186
Voted
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
A common criticism of database systems is that they are hard to query for users uncomfortable with a formal query language. To address this problem, form-based interfaces and keyw...
103
Voted
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
To explore the Perturb and Combine idea for estimating probability densities, we study mixtures of tree structured Markov networks derived by bagging combined with the Chow and Liu...
101
Voted
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Data outsourcing is becoming today a successful solution that allows users and organizations to exploit external servers for the distribution of resources. Some of the most challe...