Sciweavers

629 search results - page 12 / 126
» Parallelization Method for a Continuous Property
Sort
View
ICDCSW
2003
IEEE
14 years 27 days ago
Autonomous Cooperation Technologies for Achieving Real Time Property and Fault Tolerance in Service Oriented Community System
The advancement of wireless communication and mobile telecommunication has made mobile commerce possible. In the retail business under the evolving market, the users would like to...
Naohiro Kaji, Khaled Ragab, Takanori Ono, Kinji Mo...
ICRA
2009
IEEE
128views Robotics» more  ICRA 2009»
14 years 2 months ago
Tissue property estimation and graphical display for teleoperated robot-assisted surgery
— Palpation of tissue and organs during a surgical procedure provides clinicians with valuable information for diagnosis and surgical planning. In robot-assisted minimally invasi...
Tomonori Yamamoto, Balázs Vágvö...
CADE
2007
Springer
14 years 8 months ago
Formalization of Continuous Probability Distributions
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
Osman Hasan, Sofiène Tahar
MEMOCODE
2006
IEEE
14 years 1 months ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
CSB
2005
IEEE
160views Bioinformatics» more  CSB 2005»
14 years 1 months ago
Predicting Continuous Epitopes in Proteins
The ability to predict antigenic sites on proteins is crucial for the production of synthetic peptide vaccines and synthetic peptide probes of antibody structure. Large number of ...
Reeti Tandon, Sudeshna Adak, Brion Sarachan, Willi...