5451 search results - page 277 / 1091 » Typed Operational Semantics |
142
Voted
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
The use of video and audio features for automated annotation of audio-visual data is becoming widespread. A major limitation of many of the current methods is that the stored inde...
122
click to vote
ICAPR
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a new method to cross-media semantic-based information retrieval, which combines classical text-based and content-based image retrieval techniques. This ...
159
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
For the past two years the Moving Pictures Expert Group (MPEG), a working group of ISO/IEC, have been developing MPEG-7 [1], the "Multimedia Content Description Interface"...
158
Voted
STACS
2001
Springer
15 years 9 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
133
click to vote
TSD
2001
Springer
15 years 9 months ago
2001
Springer
The Internet offers remote access to many information systems to users independent of time and location. This paper describes an agent based approach to deal with issues that rise ...