Sciweavers

895 search results - page 104 / 179
» A User Guide to HyTech
Sort
View
ICPR
2000
IEEE
14 years 1 months ago
Transparent Parallel Image Processing by way of a Familiar Sequential API
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
Frank J. Seinstra, Dennis Koelma
VRST
2000
ACM
14 years 1 months ago
Choosing and using a driving problem for CVE technology development
The need for a real-world driving problem to guide technology development has long been recognised. However, this does not guarantee the identification of requirements for technol...
William L. Mitchell, Daphne Economou, Steve Pettif...
GECCO
1999
Springer
167views Optimization» more  GECCO 1999»
14 years 1 months ago
A Biologically Inspired Fitness Function for Robotic Grasping
This paper describes the innovative use of genetic programming (GP) to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a Ò...
J. Jaime Fernandez, Ian D. Walker
FM
1998
Springer
153views Formal Methods» more  FM 1998»
14 years 1 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
MICCAI
1998
Springer
14 years 1 months ago
AnatomyBrowser: A Framework for Integration of Medical Information
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
Polina Golland, Ron Kikinis, Christopher Umans, Mi...