Sciweavers

5401 search results - page 124 / 1081
» Using Versions in GIS
Sort
View
TCS
2008
15 years 3 months ago
Using bisimulation proof techniques for the analysis of distributed abstract machines
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
Damien Pous
XPU
2009
Springer
15 years 10 months ago
Using Digital Tabletops to Support Distributed Agile Planning Meetings
Digital tabletop is an emerging technology that is being increasingly used to support group activities. Agile Planner for Digital Tabletops (APDT) is a tool that was built to suppo...
Xin Wang, Yaser Ghanam, Shelly Park, Frank Maurer
ICAD
2004
15 years 5 months ago
Designing Sound: Towards a System for Designing Audio Interfaces using Timbre Spaces
The creation of audio interfaces is currently hampered by the difficulty of designing sounds for them. This paper presents a novel system for generating and manipulating non-speec...
Craig Nicol, Stephen A. Brewster, Philip D. Gray
SSR
1997
93views more  SSR 1997»
15 years 5 months ago
Using Content-Derived Names for Configuration Management
Configuration management of compiled software artifacts (programs, libraries, icons, etc.) is a growing problem as software reuse becomes more prevalent. For an application compos...
Jeffrey K. Hollingsworth, Ethan L. Miller
121
Voted
ICPR
2000
IEEE
16 years 4 months ago
Segmentation of Bone Tumor in MR Perfusion Images Using Neural Networks and Multiscale Pharmacokinetic Features
The decrease in the volume of viable tumor is an indicator for the effect preoperative chemotherapy has on bone tumors. We develop an approach for segmenting dynamic perfusionMR-i...
Michael Egmont-Petersen, Alejandro F. Frangi, Wiro...