2448 search results - page 63 / 490 » The Octahedron Abstract Domain |
101
Voted
ACIVS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. The first step in various computer vision applications is a detection of moving objects. The prevalent pixel-wise models regard image pixels as independent random process...
EUROPAR
2007
Springer
15 years 2 months ago
2007
Springer
Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simplycomposed skeleton program often l...
74
Voted
FM
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
86
Voted
CLEF
2008
Springer
15 years 22 days ago
2008
Springer
The domain-specific track evaluates retrieval models for structured scientific bibliographic collections in English, German and Russian. Documents contain elements (title, abstrac...
100
Voted
EUROPLOP
2006
15 years 10 days ago
2006
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...