Sciweavers

322 search results - page 32 / 65
» Alternative Approaches for Workflow Similarity
Sort
View
ACL
1993
15 years 7 months ago
An Algorithm for finding Noun Phrase Correspondences in Bilingual Corpora
The paper describes an algorithm that employs English and French text taggers to associate noun phrases in an aligned bilingual corpus. The taggets provide part-of-speech categori...
Julian Kupiec
ACS
2007
15 years 5 months ago
Axioms for Sequential Convergence
: It is of general knowledge that those (ultra)filter convergence relations coming from a topology can be characterized by two natural axioms. However, the situation changes consi...
Gonçalo Gutierres, Dirk Hofmann
ENTCS
2007
134views more  ENTCS 2007»
15 years 5 months ago
A Compact Linear Translation for Bounded Model Checking
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
Paul B. Jackson, Daniel Sheridan
ICIP
2010
IEEE
15 years 3 months ago
Poisson image reconstruction with total variation regularization
This paper describes an optimization framework for reconstructing nonnegative image intensities from linear projections contaminated with Poisson noise. Such Poisson inverse probl...
Rebecca Willett, Zachary T. Harmany, Roummel F. Ma...
ALGOSENSORS
2004
Springer
15 years 9 months ago
Towards a Dynamical Model for Wireless Sensor Networks
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
Pierre Leone, José D. P. Rolim