2944 search results - page 397 / 589 » On Well Quasi-orders on Languages |
147
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
169
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We investigate a biologically motivated approach to fast visual classification, directly inspired by the recent work [13]. Specifically, trading-off biological accuracy for comput...
150
click to vote
ENTCS
2008
15 years 6 months ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
116
click to vote
EOR
2008
15 years 6 months ago
2008
The paper presents the author's partial and personal historical reconstruction of how decision theory is evolving to a decision aiding methodology. The presentation shows mai...
180
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...