Sciweavers

809 search results - page 68 / 162
» 04421 Abstracts Collection - Algebraic Methods in Computatio...
Sort
View
LCN
1996
IEEE
15 years 5 months ago
A Class-Chest for Deriving Transport Protocols
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
W. Timothy Strayer
VEE
2009
ACM
146views Virtualization» more  VEE 2009»
15 years 8 months ago
Demystifying magic: high-level low-level programming
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
Daniel Frampton, Stephen M. Blackburn, Perry Cheng...
PCM
2001
Springer
223views Multimedia» more  PCM 2001»
15 years 5 months ago
VizWear: Toward Human-Centered Interaction through Wearable Vision and Visualization
Abstract. In this paper, we discuss the development of wearable systems which we collectively term VizWear. Vision plays an important role in both people's and computers'...
Takeshi Kurata, Takashi Okuma, Masakatsu Kourogi, ...
CVPR
2004
IEEE
16 years 3 months ago
Globally Optimal Segmentation of Interacting Surfaces with Geometric Constraints
Abstract-- Efficient detection of globally optimal surfaces representing object boundaries in volumetric datasets is important and remains challenging in many medical image analysi...
Kang Li, Xiaodong Wu, Danny Z. Chen, Milan Sonka
ICCS
2007
Springer
15 years 7 months ago
Dynamic Data-Driven Systems Approach for Simulation Based Optimizations
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
Tahsin M. Kurç, Xi Zhang, Manish Parashar, ...