Sciweavers

310 search results - page 43 / 62
» An error bound for model reduction of Lur'e-type systems
Sort
View
SIGGRAPH
1996
ACM
14 years 19 days ago
Real-Time, Continuous Level of Detail Rendering of Height Fields
We present an algorithm for real-time level of detail reduction and display of high-complexity polygonal surface data. The algorithm uses a compact and efficient regular grid repr...
Peter Lindstrom, David Koller, William Ribarsky, L...
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
13 years 7 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
TASLP
2008
98views more  TASLP 2008»
13 years 8 months ago
An Integrative and Discriminative Technique for Spoken Utterance Classification
Abstract-- Traditional methods of spoken utterance classification (SUC) adopt two independently trained phases. In the first phase, an automatic speech recognition (ASR) module ret...
Sibel Yaman, Li Deng, Dong Yu, Ye-Yi Wang, Alex Ac...
WSC
2004
13 years 10 months ago
An Adaptive Approach to Fast Simulation of Traffic Groomed Optical Networks
In this paper, we consider the fast simulation of traffic groomed optical networks, in which multiple sub-rate traffic streams may be carried on the same wavelength. For real-size...
Chih-Chieh Hsu, Michael Devetsikiotis
IROS
2007
IEEE
145views Robotics» more  IROS 2007»
14 years 2 months ago
A quantitative method for comparing trajectories of mobile robots using point distribution models
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
Pierre Roduit, Alcherio Martinoli, Jacques Jacot