Sciweavers

1276 search results - page 216 / 256
» Complexity of Fractran and Productivity
Sort
View
MICCAI
2006
Springer
15 years 10 months ago
Automated 3D Freehand Ultrasound Calibration with Real-Time Accuracy Control
3D ultrasound (US) is an emerging new imaging technology that appeals to more and more applications in intraoperative guidance of computer-assisted surgery. In a freehand US imagin...
Thomas Kuiran Chen, Purang Abolmaesumi, Adrian D. ...
ECOOP
2009
Springer
15 years 10 months ago
COPE - Automating Coupled Evolution of Metamodels and Models
Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel...
Elmar Jürgens, Markus Herrmannsdoerfer, Sebas...
CHI
2009
ACM
15 years 10 months ago
CoSense: enhancing sensemaking for collaborative web search
Making sense of the information found during an investigational Web search task can be daunting. With the recent emergence of tools to support collaborative Web search, the associ...
Sharoda A. Paul, Meredith Ringel Morris
HPCA
2006
IEEE
15 years 10 months ago
CORD: cost-effective (and nearly overhead-free) order-recording and data race detection
Chip-multiprocessors are becoming the dominant vehicle for general-purpose processing, and parallel software will be needed to effectively utilize them. This parallel software is ...
Milos Prvulovic
STOC
2007
ACM
101views Algorithms» more  STOC 2007»
15 years 10 months ago
Toward a general theory of quantum games
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
Gus Gutoski, John Watrous