4814 search results - page 690 / 963 » Combining abstract interpreters |
109
Voted
IUI
2009
ACM
15 years 9 months ago
2009
ACM
Identifying highlights in multimedia content such as video and audio is currently a very difficult technical problem. We present and evaluate a novel algorithm that identifies hig...
101
Voted
MICCAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Many vascular pathologies can now be treated in a minimally invasive way thanks to interventional radiology. Instead of open surgery, it allows to reach the lesion of the...
104
Voted
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
196
click to vote
WEA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The disjoint-set data structure is used to maintain a collection of non-overlapping sets of elements from a finite universe. Algorithms that operate on this data structu...
135
Voted
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—The Reliable Server Pooling (RSerPool) architecture is the IETF’s new standard for a lightweight server redundancy and session failover framework to support availabili...