Sciweavers

4814 search results - page 392 / 963
» Combining abstract interpreters
Sort
View
FOSSACS
2004
Springer
16 years 1 months ago
Duality for Labelled Markov Processes
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
Michael W. Mislove, Joël Ouaknine, Dusko Pavl...
ICBA
2004
Springer
172views Biometrics» more  ICBA 2004»
16 years 1 months ago
Hallucinating Face by Eigentransformation with Distortion Reduction
Abstract. In this paper, we propose a face hallucination method using eigentransformation with distortion reduction. Different from most of the proposed methods based on probabilis...
Xiaogang Wang, Xiaoou Tang
ICIAR
2004
Springer
16 years 29 days ago
Improving the Boosted Correlogram
Abstract. Introduced seven years ago, the correlogram is a simple statistical image descriptor that nevertheless performs strongly on image retrieval tasks. As a result it has foun...
Nicholas R. Howe, Amanda Ricketson
IJCNLP
2004
Springer
16 years 29 days ago
Detection of Incorrect Case Assignments in Paraphrase Generation
Abstract. This paper addresses the issue of post-transfer process in paraphrasing. Our previous investigation into transfer errors revealed that case assignment tends to be incorre...
Atsushi Fujita, Kentaro Inui, Yuji Matsumoto
NLDB
2004
Springer
16 years 29 days ago
A Flexible Workbench for Document Analysis and Text Mining
Abstract: Document analysis and text mining techniques are used to preprocess documents in information retrieval systems, to extract concepts in ontology construction processes, an...
Jon Atle Gulla, Terje Brasethvik, Harald Kaada