7167 search results - page 769 / 1434 » Answer Set Programming |
169
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
188
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Bounded existential types are a powerful language feature ling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in ...
178
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Spatial pyramid matching (SPM) is a simple yet effective approach to compute similarity between images. Similarity kernels at different regions and scales are usually fused by som...
188
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
193
click to vote
ICDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...