971 search results - page 120 / 195 » Approximate Satisfiability and Equivalence |
101
click to vote
IFIP
2003
Springer
15 years 6 months ago
2003
Springer
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...
115
Voted
UAI
2008
15 years 2 months ago
2008
Graphical models are usually learned without regard to the cost of doing inference with them. As a result, even if a good model is learned, it may perform poorly at prediction, be...
110
Voted
FUIN
2006
15 years 24 days ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
115
Voted
ISCI
2008
15 years 24 days ago
2008
In order to discover interesting patterns and dependencies in data, an approach based on rough set theory can be used. In particular, Dominance-based Rough Set Approach (DRSA) has...
109
Voted
IJCSA
2007
15 years 21 days ago
2007
This paper studies the design and application of the neural network based adaptive control scheme for autonomous underwater vehicle's (AUV's) depth control system that i...