Sciweavers

5009 search results - page 742 / 1002
» Value chain modelling using system dynamics
Sort
View
ICRA
2010
IEEE
220views Robotics» more  ICRA 2010»
15 years 3 months ago
Autonomous Underwater Vehicle trajectory design coupled with predictive ocean models: A case study
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
Ryan N. Smith, Arvind Pereira, Yi Chao, Peggy Li, ...
129
Voted
ACL
2006
15 years 6 months ago
Clavius: Bi-Directional Parsing for Generic Multimodal Interaction
We introduce a new multi-threaded parsing algorithm on unification grammars designed specifically for multimodal interaction and noisy environments. By lifting some traditional co...
Frank Rudzicz
MASCOTS
2001
15 years 6 months ago
Aggregating Caches: A Mechanism for Implicit File Prefetching
We introduce the aggregating cache, and demonstrate how it can be used to reduce the number of file retrieval requests made by a caching client, improving storage system performan...
Ahmed Amer, Darrell D. E. Long
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 8 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
ISCA
2000
IEEE
99views Hardware» more  ISCA 2000»
15 years 9 months ago
Transient fault detection via simultaneous multithreading
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
Steven K. Reinhardt, Shubhendu S. Mukherjee