Sciweavers

1291 search results - page 141 / 259
» Optimally switched linear systems
Sort
View
ICCV
1999
IEEE
14 years 10 months ago
A Dynamic Bayesian Network Approach to Figure Tracking using Learned Dynamic Models
The human figure exhibits complex and rich dynamic behavior that is both nonlinear and time-varying. However, most work on tracking and synthesizing figure motion has employed eit...
Vladimir Pavlovic, James M. Rehg, Tat-Jen Cham, Ke...
VLSID
2005
IEEE
170views VLSI» more  VLSID 2005»
14 years 1 months ago
A High-Efficiency, Dual-Mode, Dynamic, Buck-Boost Power Supply IC for Portable Applications
Abstract—Integrated power supplies are critical building blocks in stateof-the-art portable applications, where they efficiently and accurately transform a battery supply into va...
Biranchinath Sahu, Gabriel A. Rincón-Mora
DATE
2003
IEEE
132views Hardware» more  DATE 2003»
14 years 1 months ago
Scheduling and Timing Analysis of HW/SW On-Chip Communication in MP SoC Design
On-chip communication design includes designing software (SW) parts (operating system, device drivers, interrupt service routines, etc.) as well as hardware (HW) parts (on-chip co...
Youngchul Cho, Ganghee Lee, Sungjoo Yoo, Kiyoung C...
FMCAD
2007
Springer
13 years 11 months ago
Circuit Level Verification of a High-Speed Toggle
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
Chao Yan, Mark R. Greenstreet
ENTCS
2006
174views more  ENTCS 2006»
13 years 8 months ago
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
Jörn Ossowski, Christel Baier