4211 search results - page 617 / 843 » Types as Abstract Interpretations |
152
Voted
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
144
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Monitoring the health of a sensor network is important for maintaining the health and normal operation of the network. For large-scale cost-effective monitoring, using in...
162
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper presents a similarity measure that combines low-level trajectory information with geographical domain knowledge to compare vessel trajectories. The similarity ...
175
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- This work studies the performance of a stateof-the-art fingerprint recognition technology, in several practical scenarios of interest in forensic casework. First, the di...
140
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
16:30 Generating and Validating Abstracts of Meeting Conversations: a User Study. Gabriel Murray, Giuseppe Carenini and Raymond Ng 16:30 - 16:45 Break Session 3: Sentence Level Gen...