Sciweavers

1219 search results - page 119 / 244
» Where to Look Next
Sort
View
ENTCS
2007
70views more  ENTCS 2007»
15 years 4 months ago
Component Substitutability via Equivalencies of Component-Interaction Automata
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...
Ivana Cerná, Pavlína Vareková...
JSS
2006
110views more  JSS 2006»
15 years 4 months ago
Beyond source code: The importance of other artifacts in software development (a case study)
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
Gregorio Robles, Jesús M. González-B...
PAMI
2008
195views more  PAMI 2008»
15 years 4 months ago
Robust Radiometric Calibration and Vignetting Correction
In many computer vision systems, it is assumed that the image brightness of a point directly reflects the scene radiance of the point. However, the assumption does not hold in mos...
Seon Joo Kim, Marc Pollefeys
AIR
2005
114views more  AIR 2005»
15 years 4 months ago
Relation Algebras and their Application in Temporal and Spatial Reasoning
Qualitative temporal and spatial reasoning is in many cases based on binary relations such as before, after, starts, contains, contact, part of, and others derived from these by r...
Ivo Düntsch
JUCS
2007
95views more  JUCS 2007»
15 years 4 months ago
A First Step Mapping IMS Learning Design and Moodle
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
Daniel Burgos, Colin Tattersall, Martin Dougiamas,...