2424 search results - page 292 / 485 » A general algorithm for data dependence analysis |
171
Voted
CL
2007
Springer
15 years 3 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
155
click to vote
ICDT
2010
ACM
15 years 8 months ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
139
click to vote
ICDT
2010
ACM
15 years 2 months ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
151
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we propose a new manifold representation capable of being applied for visual speech recognition. In this regard, the real time input video data is compressed using P...
162
click to vote
ICCL
1998
IEEE
15 years 8 months ago
1998
IEEE
An aggregate array computation is a loop that computes accumulated quantities over array elements. Such computations are common in programs that use arrays, and the array elements...