20126 search results - page 130 / 4026 » Timed Transition Systems |
177
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
Recently Lillis, et al. presented an elegant dynamic programming approach to RC interconnect delay optimization through driver sizing, repeater insertion, and, wire sizing which e...
168
click to vote
TSP
2008
15 years 6 months ago
2008
We consider sequential regression of individual sequences under the square error loss. Using a competitive algorithm framework, we construct a sequential algorithm that can achieve...
271
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
143
click to vote
FMCAD
2007
Springer
16 years 18 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
153
click to vote
IROS
2006
IEEE
16 years 13 days ago
2006
IEEE
— A planning method for unraveling deformable linear objects based on 2D information about their crossing states is proposed. In manipulation of a linear object, its raveling mus...