Sciweavers

1670 search results - page 65 / 334
» A Measure of Decision Flexibility
Sort
View
105
Voted
ICML
1999
IEEE
16 years 1 months ago
The Alternating Decision Tree Learning Algorithm
The applicationofboosting procedures to decision tree algorithmshas been shown to produce very accurate classi ers. These classiers are in the form of a majority vote over a numbe...
Yoav Freund, Llew Mason
CDC
2008
IEEE
140views Control Systems» more  CDC 2008»
15 years 7 months ago
Information state for Markov decision processes with network delays
We consider a networked control system, where each subsystem evolves as a Markov decision process (MDP). Each subsystem is coupled to its neighbors via communication links over wh...
Sachin Adlakha, Sanjay Lall, Andrea J. Goldsmith
97
Voted
COMCOM
2010
96views more  COMCOM 2010»
15 years 24 days ago
Passive internet measurement: Overview and guidelines based on experiences
Due to its versatility, flexibility and fast development, the modern Internet is far from being well understood in its entirety. A good way to learn more about how the Internet fu...
Wolfgang John, Sven Tafvelin, Tomas Olovsson
91
Voted
DAC
2003
ACM
16 years 1 months ago
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Br...
101
Voted
ICSE
2008
IEEE-ACM
16 years 23 days ago
A value-based approach for documenting design decisions rationale: a replicated experiment
The explicit documentation of the rationale of design decisions is a practice generally encouraged but rarely implemented in industry because of a variety of inhibitors. Known met...
Davide Falessi, Rafael Capilla, Giovanni Cantone