Sciweavers

1822 search results - page 127 / 365
» The Method of Assigning Incidences
Sort
View
ICDAR
2009
IEEE
16 years 1 months ago
Raster Map Image Analysis
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...
Thomas C. Henderson, Trevor Linton
ERSHOV
2009
Springer
16 years 1 months ago
A Complete Invariant Generation Approach for P-solvable Loops
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...
Laura Kovács
ICMCS
2006
IEEE
116views Multimedia» more  ICMCS 2006»
16 years 28 days ago
Multi-Rate, Dynamic and Compliant Region of Interest Coding for JPEG2000
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 ...
Jun Hou, Xiangzhong Fang, Jiliang Li, Haibin Yin, ...
CLEF
2005
Springer
16 years 12 days ago
Evaluating Geographic Information Retrieval
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...
András Kornai
167
Voted
FORMATS
2003
Springer
16 years 3 days ago
Discrete-Time Rewards Model-Checked
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...
Suzana Andova, Holger Hermanns, Joost-Pieter Katoe...