Sciweavers

7280 search results - page 1204 / 1456
» Adaptive bases for Q-learning
Sort
View
SSDBM
2005
IEEE
140views Database» more  SSDBM 2005»
16 years 11 days ago
Optimizing In-Order Execution of Continuous Queries over Streamed Sensor Data
The widespread use of sensor networks in scientific and engineering applications leads to increased demand on the efficient computation of the collected sensor data. Recent rese...
Moustafa A. Hammad, Walid G. Aref, Ahmed K. Elmaga...
WIOPT
2005
IEEE
16 years 11 days ago
Securing Route Optimisation in NEMO
The Network Mobility (NEMO) Basic Support protocol enables mobile networks to change their point of attachment to the Internet, while preserving established sessions of the nodes ...
María Calderón, Carlos Jesus Bernard...
APGV
2005
ACM
125views Visualization» more  APGV 2005»
16 years 11 days ago
Designing a tone mapping algorithm for road visibility experiments
In this paper, we propose a tone mapping operator based on a multiscale representation pattern and on thresholds of detection contrast computed for local adaptation luminances. Th...
Justine Grave, Roland Brémond
HASKELL
2005
ACM
16 years 11 days ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
ISPD
2005
ACM
239views Hardware» more  ISPD 2005»
16 years 11 days ago
Mapping algorithm for large-scale field programmable analog array
Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness. With thes...
I. Faik Baskaya, Sasank Reddy, Sung Kyu Lim, Tyson...
« Prev « First page 1204 / 1456 Last » Next »