Sciweavers

4897 search results - page 642 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
ICCS
2003
Springer
15 years 12 months ago
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
Olivier Bournez, Guy-Marie Côme, Valé...
185
Voted
SIGMOD
2003
ACM
152views Database» more  SIGMOD 2003»
16 years 6 months ago
Using Sets of Feature Vectors for Similarity Search on Voxelized CAD Objects
In modern application domains such as multimedia, molecular biology and medical imaging, similarity search in database systems is becoming an increasingly important task. Especial...
Hans-Peter Kriegel, Stefan Brecheisen, Peer Kr&oum...
CMSB
2009
Springer
16 years 1 months ago
Equivalence and Discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
Vashti Galpin, Jane Hillston
ICVS
2009
Springer
16 years 1 months ago
Integration of Visual Cues for Robotic Grasping
In this paper, we propose a method that generates grasping actions for novel objects based on visual input from a stereo camera. We are integrating two methods that are advantageou...
Niklas Bergström, Jeannette Bohg, Danica Krag...
SAC
2006
ACM
16 years 21 days ago
Extending noninterference properties to the timed world
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
Jian Huang, A. W. Roscoe