Search Sciweavers | Sciweavers

12

HYBRID
2001
Springer

91views Control Systems» more HYBRID 2001»

Semi-decidable Synthesis for Triangular Hybrid Systems

13 years 9 months ago

Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability speciﬁcations has received much attention recently. Despite the imp...

Omid Shakernia, George J. Pappas, Shankar Sastry

claim paper

Read More »

15

click to vote

HYBRID
2001
Springer

179views Control Systems» more HYBRID 2001»

Hybrid Modeling of TCP Congestion Control

13 years 9 months ago

Download www.eecis.udel.edu

Abstract. In this paper we propose a hybrid model for TCP’s congestion control mechanism operating under drop-tail queuing policy. Using

João P. Hespanha, Stephan Bohacek, Katia Ob...

claim paper

Read More »

11

click to vote

CP
2001
Springer

128views Artificial Intelligence» more CP 2001»

Automatic Generation of Implied Clauses for SAT

13 years 9 months ago

Download arotau.com

This paper presents a survey of the use of resolution in propositional satisﬁability, and some preliminary results from the implementation of a hybrid resolution and search algor...

Lyndon Drake

claim paper

Read More »

9

click to vote

RECOMB
2001
Springer

94views Computational Biology» more RECOMB 2001»

Optimal sequencing by hybridization in rounds

14 years 5 months ago