1699 search results - page 149 / 340 » A timed semantics of Orc |
MM
1999
ACM
14 years 13 days ago
1999
ACM
Adaptation techniques for multimedia presentations are mainly concerned with switching between different qualities of single media elements to reduce the data volume and by this ...
ASWC
2008
Springer
13 years 10 months ago
2008
Springer
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
GISCIENCE
2010
Springer
13 years 8 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
ENTCS
2007
13 years 8 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
ACSD
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...