899 search results - page 155 / 180 » A Temporal Language for SystemC |
100
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
DOCENG
2009
ACM
15 years 4 months ago
2009
ACM
Widgets are small and focused multimedia applications that can be found on desktop computers, mobile devices or even TV sets. Widgets rely on structured documents to describe thei...
MM
2009
ACM
15 years 4 months ago
2009
ACM
In this technical demonstration we show a web video search engine based on ontologies, the Sirio1 system, that has been developed within the EU VidiVideo project. The goal of the ...
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
CIVR
2007
Springer
15 years 3 months ago
2007
Springer
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...