769 search results - page 49 / 154 » A publishing system based on fluency coding method |
147
click to vote
PR
2008
15 years 3 months ago
2008
Autonomous video surveillance and monitoring has a rich history. Many deployed systems are able to reliably track human motion in indoor and controlled outdoor environments. Howev...
139
click to vote
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
113
click to vote
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
114
Voted
PPPJ
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic compilers can optimize application code specifically for observed code behavior. Such behavior does not have to be stable across the entire program execution to be bene...
139
Voted
SCFBM
2008
15 years 2 months ago
2008
Background: As the demands for competency-based education grow, the need for standardsbased tools to allow for publishing and discovery of competency-based learning content is mor...