158 search results - page 21 / 32 » The Cover Time, the Blanket Time, and the Matthews Bound |
100
click to vote
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...
105
click to vote
ISSTA
1996
ACM
15 years 3 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
MCSS
2007
Springer
14 years 11 months ago
2007
Springer
We provide a generalized version of the nonlinear small gain theorem for the case of more than two coupled input-to-state stable (ISS) systems. For this result the interconnection...
103
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— This paper studies the robust stability and stabilization problems for switched linear discrete-time systems. The parameter uncertainties in the system under considerat...
BMCBI
2006
14 years 11 months ago
2006
Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...