— An important problem in robotics is planning and selecting actions for goal-directed behavior in noisy uncertain environments. The problem is typically addressed within the fra...
We introduce and validate bootstrap techniques to compute confidence intervals that quantify the effect of test-collection variability on average precision (AP) and mean average...
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
This paper presents applications of HyCon, a framework for context aware hypermedia system. The HyCon architecture encompasses annotations, links, and guided tours associating loc...
Frank Allan Hansen, Niels Olof Bouvin, Bent Guldbj...
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...