2446 search results - page 165 / 490 » First Smart Spaces |
120
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
138
click to vote
SWAT
2000
Springer
15 years 7 months ago
2000
Springer
We consider dictionaries over the universe U = {0, 1}w on a unit-cost RAM with word size w and a standard instruction set. We present a linear space deterministic dictionary with m...
125
click to vote
ANTSW
2008
Springer
15 years 6 months ago
2008
Springer
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
118
Voted
CSC
2008
15 years 5 months ago
2008
- This paper presents two multilevel refinement algorithms for the capacitated clustering problem. Multilevel refinement is a collaborative technique capable of significantly aidin...
140
click to vote
DRR
2008
15 years 5 months ago
2008
We describe a methodology for retrieving document images from large extremely diverse collections. First we perform content extraction, that is the location and measurement of reg...