1742 search results - page 118 / 349 » An Applicative Module Calculus |
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
MIR
2006
ACM
14 years 4 months ago
2006
ACM
We propose an innovative, general purpose, approach to the selection and hierarchical representation of key frames of a video sequence for video summarization. In the first stage ...
ICMCS
1999
IEEE
14 years 3 months ago
1999
IEEE
A variety of digital watermarking applications have emerged recently that require the design of systems for embedding one signal (the "embedded signal" or "watermar...
DSS
2008
13 years 11 months ago
2008
While small-scale search engines in specific domains and languages are increasingly used by Web users, most existing search engine development tools do not support the development...
ISPDC
2010
IEEE
13 years 9 months ago
2010
IEEE
—Providing independent uniform samples from a system population poses considerable problems in highly dynamic settings, like P2P systems, where the number of participants and the...