8197 search results - page 124 / 1640 » Adaptive functional programming |
128
Voted
ML
2006
ACM
15 years 2 months ago
2006
ACM
81
Voted
TRANSCI
2002
2002
An Adaptive Dynamic Programming Algorithm for Dynamic Fleet Management, II: Multiperiod Travel Times
15 years 2 months ago
92
Voted
ANOR
2011
14 years 9 months ago
2011
221
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
120
Voted
IPSN
2010
Springer
15 years 9 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aï¬...