Sciweavers

1515 search results - page 137 / 303
» On the relation of aspects and monads
Sort
View
CLEF
2006
Springer
14 years 2 months ago
GIR Experimentation
Geographic Information Retrieval (GIR) community has generally accepted the thesis that both thematic and geographic aspect of documents may be useful for GIR. This paper describe...
Geoffrey Andogah
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
14 years 2 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
DSVIS
2006
Springer
14 years 1 months ago
Formal Modelling of Cognitive Interpretation
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann...
ECTEL
2006
Springer
14 years 1 months ago
Emergent Knowledge Artifacts for Supporting Trialogical E-Learning
Abstract. This paper elaborates on scenarios for collaborative knowledge creation in the spirit of the trialogical learning paradigm. According to these scenarios the group knowled...
Yannis Tzitzikas, Vassilis Christophides, Giorgos ...
ECCV
2000
Springer
14 years 1 months ago
Can We Calibrate a Camera Using an Image of a Flat, Textureless Lambertian Surface?
Abstract. In this paper, we show that it is possible to calibrate a camera using just a flat, textureless Lambertian surface and constant illumination. This is done using the effec...
Sing Bing Kang, Richard S. Weiss