Sciweavers

9387 search results - page 1031 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
MKTSCI
2010
92views more  MKTSCI 2010»
15 years 2 months ago
Optimal Reverse-Pricing Mechanisms
Reverse pricing is a market mechanism under which a consumer's bid for a product leads to a sale if the bid exceeds a hidden acceptance threshold the seller has set in advanc...
Martin Spann, Robert Zeithammer, Gerald Häubl
IJFCS
2006
110views more  IJFCS 2006»
15 years 7 months ago
Sat-based Model Checking for Region Automata
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
Fang Yu, Bow-Yaw Wang
CIKM
2009
Springer
16 years 2 months ago
A general markov framework for page importance computation
We propose a General Markov Framework for computing page importance. Under the framework, a Markov Skeleton Process is used to model the random walk conducted by the web surfer on...
Bin Gao, Tie-Yan Liu, Zhiming Ma, Taifeng Wang, Ha...
MICCAI
2008
Springer
16 years 8 months ago
AutoGate: Fast and Automatic Doppler Gate Localization in B-Mode Echocardiogram
In this paper, we propose a so-called AutoGate algorithm for fast and automatic Doppler gate localization in B-mode echocardiography. The algorithm has two components: 1) cardiac s...
Jin Hyeong Park, Shaohua Kevin Zhou, Costas Simo...
CIDM
2007
IEEE
15 years 11 months ago
An Efficient Distance Calculation Method for Uncertain Objects
Recently the academic communities have paid more attention to the queries and mining on uncertain data. In the tasks such as clustering or nearest-neighbor queries, expected distan...
Lurong Xiao, Edward Hung
« Prev « First page 1031 / 1878 Last » Next »