Sciweavers

13099 search results - page 347 / 2620
» Cooperative method development
Sort
View
178
Voted
MMMACNS
2001
Springer
15 years 11 months ago
Open Issues in Formal Methods for Cryptographic Protocol Analysis
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
Catherine Meadows
MICCAI
1999
Springer
15 years 11 months ago
A Single Image Registration Method for CT Guided Interventions
Minimally invasive image guided interventions are an attractive option for localized therapy delivery and diagnostic biopsy. We have developed a method for CT guided needle placeme...
Robert C. Susil, James H. Anderson, Russell H. Tay...
VLDB
1991
ACM
122views Database» more  VLDB 1991»
15 years 10 months ago
An Iterative Method for Distributed Database Design
The development of a distributed database systemrequires effective solutions to many complex and interrelated design problems. The cost dependenciesbetween query optimization and ...
Rex Blankinship, Alan R. Hevner, S. Bing Yao
HAPTICS
2007
IEEE
15 years 8 months ago
Experimental Evaluation of Attachment Methods for a Multifinger Haptic Device
Due to the nature of touch sensation, the interface between a user and a haptic device must be carefully designed and selected such that the user feels they are directly manipulat...
Regina Donlin, Rainer Leuschke, Blake Hannaford
APBC
2004
15 years 8 months ago
A Rapid Method of Whole Genome Visualisation Illustrating Features in Both Coding and Non-coding Regions
The application of Fourier analysis to a genome can be used as an indicator of gene coding regions. We have developed a visualisation of the Fourier spectra that allows convenient...
Ross Hall, Linda Stern