216 search results - page 33 / 44 » Media theory: Representations and examples |
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
PPSWR
2005
Springer
14 years 26 days ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
MDM
2004
Springer
14 years 22 days ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
GLVLSI
2002
IEEE
14 years 10 days ago
2002
IEEE
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...
CIKM
2000
Springer
13 years 11 months ago
2000
Springer
RankBoost is a recently proposed algorithm for learning ranking functions. It is simple to implement and has strong justifications from computational learning theory. We describe...