16606 search results - page 3297 / 3322 » Context Modeling: Task Model and Practice Model |
161
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
132
click to vote
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...
147
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We introduce the novel problem of inter-robot transfer learning for perceptual classification of objects, where multiple heterogeneous robots communicate and transfer learned obje...
148
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Despite the importance of real-world experiments, nearly all ongoing research activities addressing video streaming over MANETs are based on simulation studies. Earlier research s...
115
click to vote
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...