Sciweavers

7890 search results - page 1173 / 1578
» The MathSAT 3 System
Sort
View
UML
2001
Springer
15 years 11 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
196
Voted
CBMS
2000
IEEE
15 years 11 months ago
Real-Time Extraction of Carotid Artery Contours from Ultrasound Images
This paper presents the developement of a novel, fullyautomatic tracking and segmentation system to extract the boundary of the carotid artery from ultrasound images in real-time....
Purang Abolmaesumi, Mohammad Reza Sirouspour, S. E...
EH
2000
IEEE
168views Hardware» more  EH 2000»
15 years 11 months ago
The GOLEM Project: Evolving Hardware Bodies and Brains
The GOLEM project is an attempt to extend evolutionary techniques into the physical world by evolving diverse electro-mechanical machines (robots) that can be fabricated automatic...
Jordan B. Pollack, Hod Lipson
183
Voted
FOCS
2000
IEEE
15 years 11 months ago
On Clusterings - Good, Bad and Spectral
We motivate and develop a natural bicriteria measure for assessing the quality of a clustering that avoids the drawbacks of existing measures. A simple recursive heuristic is shown...
Ravi Kannan, Santosh Vempala, Adrian Vetta
164
Voted
HPDC
2000
IEEE
15 years 11 months ago
RAID-x: A New Distributed Disk Array for I/O-Centric Cluster Computing
A new RAID-x (redundant array of inexpensive disks at level x) architecture is presented for distributed I/O processing on a serverless cluster of computers. The RAID-x architectu...
Kai Hwang, Hai Jin, Roy S. C. Ho
« Prev « First page 1173 / 1578 Last » Next »