Sciweavers

2119 search results - page 282 / 424
» Structure-Preserving Model Reduction
Sort
View
AROBOTS
2004
125views more  AROBOTS 2004»
14 years 10 months ago
An Architecture for Distributed Environment Sensing with Application to Robotic Cliff Exploration
Future planetary exploration missions will use cooperative robots to explore and sample rough terrain. To succeed robots will need to cooperatively acquire and share data. Here a c...
Vivek A. Sujan, Steven Dubowsky, Terrance L. Hunts...
CSL
2004
Springer
14 years 10 months ago
Arc minimization in finite-state decoding graphs with cross-word acoustic context
Recent approaches to large vocabulary decoding with finite state graphs have focused on the use of state minimization algorithms to produce relatively compact graphs. This paper e...
François Yvon, Geoffrey Zweig, George Saon
PR
2002
103views more  PR 2002»
14 years 9 months ago
Extracting moving shapes by evidence gathering
Many approaches can track objects moving in sequences of images but can su er in occlusion and noise, and often require initialisation. These factors can be handled by techniques ...
Michael G. Grant, Mark S. Nixon, Paul H. Lewis
TVLSI
2002
121views more  TVLSI 2002»
14 years 9 months ago
On-chip decoupling capacitor optimization using architectural level prediction
Switching activity-generated power-supply grid-noise presents a major obstacle to the reduction of supply voltage in future generation semiconductor technologies. A popular techniq...
Mondira Deb Pant, Pankaj Pant, D. Scott Wills
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
14 years 8 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen