Sciweavers

2144 search results - page 21 / 429
» Exact Flow Analysis
Sort
View
SAT
2005
Springer
162views Hardware» more  SAT 2005»
15 years 5 months ago
Heuristics for Fast Exact Model Counting
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Tian Sang, Paul Beame, Henry A. Kautz
ICIAR
2005
Springer
15 years 5 months ago
Image Deformation Using Velocity Fields: An Exact Solution
In image deformation, one of the challenges is to produce a deformation that preserves image topology. Such deformations are called “homeomorphic”. One method of producing home...
Jeff Orchard
DGCI
2006
Springer
15 years 3 months ago
Exact Euclidean Medial Axis in Higher Resolution
Abstract. The notion of skeleton plays a major role in shape analysis. Some usually desirable characteristics of a skeleton are: sufficient for the reconstruction of the original o...
André Vital Saúde, Michel Couprie, R...
WCNC
2008
IEEE
15 years 6 months ago
Exact BER Performance of Asynchronous MC-DS-CDMA over Nakagami-m Fading Channels
—In this contribution an accurate average bit error rate (BER) formula is derived for Nakagami-faded MC-DSCDMA in the context of asynchronous transmissions and random spreading s...
Besma Smida, Lajos Hanzo, Sofiène Affes
DASFAA
2006
IEEE
153views Database» more  DASFAA 2006»
15 years 5 months ago
DAPSS: Exact Subsequence Matching for Data Streams
There is much interest in the processing of data streams for applications in the fields such as financial analysis, network monitoring, mobile services, and sensor network manage...
Yasuhiro Fujiwara, Yasushi Sakurai, Masashi Yamamu...