13734 search results - page 2377 / 2747 » Abstractions of data types |
169
click to vote
CLEAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper presents two approaches to the problem of simultaneous tracking of several people in low resolution sequences from multiple calibrated cameras. Spatial redunda...
159
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
155
click to vote
CPM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Detecting historical recombination is an important computational problem which has received great attention recently. Due to recombination, input sequences form a mosaic,...
147
click to vote
DBPL
2007
Springer
16 years 25 days ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
184
click to vote
DEXA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Sharing of structured data in decentralized environments is a challenging problem, especially in the absence of a global schema. Social network structures map network lin...