1822 search results - page 127 / 365 » The Method of Assigning Incidences |
118
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Raster map images (e.g., USGS) provide much information in digital form; however, the color assignments and pixel labels leave many serious ambiguities. A color histogram classi...
248
Voted
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
130
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
A method is proposed to encode multiple regions of interest(ROI) in JPEG2000 image. It rearranges truncation point for every codeblock in each layer. It assigns higher bitrate to ...
126
click to vote
CLEF
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The processing steps required for geographic information retrieval include many steps that are common to all forms of information retrieval, e.g. stopword filtering, ste...
124
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...