Sciweavers

4372 search results - page 683 / 875
» Data Semantics Revisited
Sort
View
ICVS
2003
Springer
14 years 1 months ago
A Self-Referential Perceptual Inference Framework for Video Interpretation
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
Christopher Town, David Sinclair
AISC
2010
Springer
14 years 1 months ago
Dimensions of Formality: A Case Study for MKM in Software Engineering
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
ICWE
2010
Springer
14 years 29 days ago
Combining Schema and Level-Based Matching for Web Service Discovery
Due to the availability of huge number of Web services (WSs), finding an appropriate WS according to the requirement of a service consumer is still a challenge. In this paper, we ...
Alsayed Algergawy, Richi Nayak, Norbert Siegmund, ...
CC
2001
Springer
131views System Software» more  CC 2001»
14 years 21 days ago
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
Björn Franke, Michael F. P. O'Boyle
CHARME
2001
Springer
117views Hardware» more  CHARME 2001»
14 years 21 days ago
A Higher-Level Language for Hardware Synthesis
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
Richard Sharp, Alan Mycroft