2880 search results - page 104 / 576 » context 2007 |
122
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
119
Voted
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Interaction analysis within online educational contexts based on collaborative learning strategies requires a multidimensional model taking into account social, emotional and cogni...
117
click to vote
ADAPTIVE
2007
Springer
15 years 10 months ago
2007
Springer
In this chapter we describe techniques for adaptive presentation of content on the Web. We first describe techniques to select and structure the content deemed to be most relevant ...
ORL
2007
15 years 3 months ago
2007
We clarify a financial meaning of duality in the semi-infinite programming problem which emerges in the context of determining a derivative price range based only on the no-arbi...
174
Voted
AE
2007
Springer
15 years 10 months ago
2007
Springer
The work presented in this paper is part of the development of a robotic system able to learn context dependent visual clues to navigate in its environment. We focus on the obstacl...