1855 search results - page 352 / 371 » A Domain Specific Language for the Development of Collaborat... |
FORTE
2004
13 years 9 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
DAGSTUHL
2009
13 years 8 months ago
2009
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
While storytelling has long been recognized as an important part of effective knowledge management in organizations, knowledge management technologies have generally not distingui...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
The field of biomedicine has embraced the Semantic Web probably more than any other field. As a result, there is a large number of biomedical ontologies covering overlapping area...
ICTAI
1992
IEEE
13 years 11 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...