1712 search results - page 169 / 343 » Abstract Constraint Data Types |
123
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
104
click to vote
SWAP
2008
15 years 4 months ago
2008
Abstract. In the core of every information integration and data exchange effort lies the ability to identify whether two pieces of information refer to the same real world entity. ...
139
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper, we present a protocol for computing the principal eigenvector of a collection of data matrices belonging to multiple semi-honest parties with privacy const...
132
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
116
click to vote
GREC
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...