1740 search results - page 63 / 348 » A Digital Archive of Research Papers in Computer Science |
MM
2005
ACM
15 years 5 months ago
2005
ACM
Querying live media streams is a challenging problem that is becoming an essential requirement in a growing number of applications. Research in multimedia information systems has ...
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
Recent research suggests design pre-patterns, structured collections of evidence-based research and design knowledge, provide a useful resource for design activities in emerging a...
ACSC
2001
IEEE
15 years 3 months ago
2001
IEEE
This paper analyses the efficiency of different data structures for detecting overlap in digital documents. Most existing approaches use some hash function to reduce the space req...
114
click to vote
DAM
2011
14 years 6 months ago
2011
In this paper we show that the problem to decide whether the hamiltonian index of a given graph is less or equal to a given constant is ∗ Research supported by grants No. 1M0545...
FMSD
2010
14 years 10 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...