Sciweavers

570 search results - page 62 / 114
» Using Patterns in the Design of Inter-organizational Systems...
Sort
View
ICCV
2009
IEEE
1176views Computer Vision» more  ICCV 2009»
15 years 1 months ago
Building Rome in a Day
We present a system that can match and reconstruct 3D scenes from extremely large collections of photographs such as those found by searching for a given city (e.g., Rome) on In...
Sameer Agarwal, Noah Snavely, Ian Simon, Steven M....
CONPAR
1994
14 years 24 days ago
The Rewrite Rule Machine Node Architecture and Its Performance
The Rewrite Rule Machine (RRM) is a massively parallel MIMD/SIMD computer designed with the explicit purpose of supporting veryhigh-level parallel programming with rewrite rules. T...
Patrick Lincoln, José Meseguer, Livio Ricci...
ENTCS
2008
97views more  ENTCS 2008»
13 years 8 months ago
Meta-programming With Built-in Type Equality
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
Tim Sheard, Emir Pasalic
ICRA
2006
IEEE
88views Robotics» more  ICRA 2006»
14 years 2 months ago
Real-time 3D Ultrasound-based Servoing of a Surgical Instrument
Abstract – This paper presents a real-time 3D ultrasoundguided robotic system, designed to autonomously navigate a surgical instrument to surgeon-specified target points. The sys...
Jeffrey A. Stoll, Paul M. Novotny, Robert D. Howe,...
ICPP
2007
IEEE
14 years 3 months ago
A Meta-Learning Failure Predictor for Blue Gene/L Systems
The demand for more computational power in science and engineering has spurred the design and deployment of ever-growing cluster systems. Even though the individual components use...
Prashasta Gujrati, Yawei Li, Zhiling Lan, Rajeev T...