20126 search results - page 130 / 4026 » Timed Transition Systems |
143
Voted
VLSID
1999
IEEE
15 years 7 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...
128
Voted
TSP
2008
15 years 3 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...
213
Voted
SIGMOD
2008
ACM
16 years 3 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...
108
Voted
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
114
click to vote
IROS
2006
IEEE
15 years 9 months 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...