Sciweavers

1837 search results - page 292 / 368
» Abstraction and the C Machine Model
Sort
View
EMMCVPR
2003
Springer
14 years 28 days ago
using Prior Shape and Points in Medical Image Segmentation
Abstract. In this paper we propose a new variational framework for image segmentation that incorporates the information of expected shape and a few points on the boundary into geod...
Yunmei Chen, Weihong Guo, Feng Huang, David Cliffo...
ICCS
2007
Springer
13 years 9 months ago
Planet-in-a-Bottle: A Numerical Fluid-Laboratory System
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...
Chris Hill, Bradley C. Kuszmaul, Charles E. Leiser...
FS
2006
84views more  FS 2006»
13 years 7 months ago
Iterative construction of the optimal Bermudan stopping time
Abstract. We present an iterative procedure for computing the optimal Bermudan stopping time, hence the Bermudan Snell envelope. The method produces an increasing sequence of appro...
Anastasia Kolodko, John Schoenmakers
TIT
2008
83views more  TIT 2008»
13 years 7 months ago
On the Large Deviations of Resequencing Queue Size: 2-M/M/1 Case
Abstract--In data communication networks, packets that arrive at the receiving host may be disordered for reasons such as retransmission of dropped packets or multi-path routing. R...
Ye Xia, David N. C. Tse
LOGCOM
2002
116views more  LOGCOM 2002»
13 years 7 months ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....