Sciweavers

4142 search results - page 762 / 829
» Adaptive Control Variates
Sort
View
121
Voted
SIAMSC
2010
132views more  SIAMSC 2010»
15 years 17 days ago
New Algorithms for Optimal Online Checkpointing
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...
Philipp Stumm, Andrea Walther
109
Voted
SJ
2010
120views more  SJ 2010»
15 years 17 days ago
Rapid Prototyping for Wildlife and Ecological Monitoring
—Wildlife tracking and ecological monitoring are important for scientific monitoring, wildlife rehabilitation, disease control, and sustainable ecological development. Yet techn...
Jyh-How Huang, Ying-Yu Chen, Yu-Te Huang, Po-Yen L...
SPIN
2010
Springer
15 years 17 days ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
133
Voted
TMC
2010
190views more  TMC 2010»
15 years 17 days ago
SAMAC: A Cross-Layer Communication Protocol for Sensor Networks with Sectored Antennas
—Wireless sensor networks have been used to gather data and information in many diverse application settings. The capacity of such networks remains a fundamental obstacle toward ...
Emad Felemban, Serdar Vural, Robert Murawski, Eyle...
135
Voted
VTC
2010
IEEE
173views Communications» more  VTC 2010»
15 years 16 days ago
Streetcast: An Urban Broadcast Protocol for Vehicular Ad-Hoc Networks
—Vehicular Ad-hoc NETworks (VANETs) adopting Dedicated Short-Range Communications (DSRCs) have emerged as a preferred choice of network design for the Intelligent Transportation ...
Chih-Wei Yi, Yi-Ta Chuang, Hou-Heng Yeh, Yu-Chee T...