1591 search results - page 164 / 319 » Hybrid decision tree |
182
click to vote
ICMCS
2010
IEEE
15 years 3 months ago
2010
IEEE
There is an ongoing explosion of interactive Internet applications. By nature, these applications require responsive clientserver data exchange and lossless, in-order delivery. In...
137
click to vote
ROBOCUP
2009
Springer
16 years 15 days ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
172
Voted
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
140
click to vote
STOC
2002
ACM
16 years 6 months ago
2002
ACM
Let f : {0, 1}n {0, 1} be a boolean function. For 0 let D (f) be the minimum depth of a decision tree for f that makes an error for fraction of the inputs x {0, 1}n . We also ma...
157
click to vote
IPPS
2006
IEEE
16 years 7 hour ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...