9821 search results - page 1780 / 1965 » A Framework for the Development of Protocols |
192
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we proposed a novel real-time abnormal event detection framework that requires a short training period and has a fast processing speed. Our approach is based on phas...
157
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents automatic pronunciation transliteration method with acoustic and contextual analysis for Chinese-English mixed language keyword spotting (KWS) system. More ofte...
185
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
We promote the use of transactional attributes for modelling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBe...
190
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
We develop query relaxation techniques for regular path queries and combine them with query approximation in order to support flexible querying of RDF data when the user lacks know...
202
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...