Sciweavers

1800 search results - page 197 / 360
» A component model for internet-scale applications
Sort
View
MICCAI
2003
Springer
16 years 7 months ago
Freehand Ultrasound Reconstruction Based on ROI Prior Modeling and Normalized Convolution
3D freehand ultrasound imaging is becoming a widespread technique in medical examinations. This imaging technique produces a set of irregularly spaced B-scans. Reconstructing a reg...
Raúl San José Estépar, Marcos...
FATES
2005
Springer
16 years 4 days ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
CIVR
2004
Springer
194views Image Analysis» more  CIVR 2004»
16 years 15 hour ago
A Test-Bed for Region-Based Image Retrieval Using Multiple Segmentation Algorithms and the MPEG-7 eXperimentation Model: The Sch
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
Vasileios Mezaris, Haralambos Doulaverakis, Raul M...
ATAL
2008
Springer
15 years 8 months ago
A heads-up no-limit Texas Hold'em poker player: discretized betting models and automatically generated equilibrium-finding progr
We present Tartanian, a game theory-based player for headsup no-limit Texas Hold'em poker. Tartanian is built from three components. First, to deal with the virtually infinit...
Andrew Gilpin, Tuomas Sandholm, Troels Bjerre S&os...
JAR
2008
70views more  JAR 2008»
15 years 6 months ago
Assumption-Commitment Support for CSP Model Checking
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
Nick Moffat, Michael Goldsmith