1830 search results - page 302 / 366 » Centering in Dynamic Semantics |
108
click to vote
MIR
2004
ACM
15 years 4 months ago
2004
ACM
This paper describes revised content-based search experiments in the context of TRECVID 2003 benchmark. Experiments focus on measuring content-based video retrieval performance wi...
WISE
2002
Springer
15 years 4 months ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
124
click to vote
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper describes a real-time routing system that implements a mobile museum tour guide for providing personalized tours tailored to the user position inside the museu...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
104
click to vote
FM
2006
Springer
15 years 2 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...