7820 search results - page 361 / 1564 » Formalization of Time and Space |
218
click to vote
IFL
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
236
Voted
WWW
2008
ACM
15 years 7 months ago
2008
ACM
We propose a novel Partition Path-Based (PPB) grouping strategy to store compressed XML data in a stream of blocks. In addition, we employ a minimal indexing scheme called Block S...
169
click to vote
COCOON
2009
Springer
16 years 2 months ago
2009
Springer
A honeynet is a portion of routed but otherwise unused address space that is instrumented for network traffic monitoring. It is an invaluable tool for understanding unwanted Intern...
207
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
The problem of colour image segmentation is investigated in the context of mathematical morphology. Morphological operators are extended to colour images by means of a lexicographi...
221
click to vote
IJCAI
2007
15 years 9 months ago
2007
We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previ...