Sciweavers

4106 search results - page 74 / 822
» A Computational Model for Metric Spaces
Sort
View
FORMATS
2006
Springer
14 years 23 days ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
IPCAI
2010
13 years 7 months ago
New Kinematic Metric for Quantifying Surgical Skill for Flexible Instrument Manipulation
Colonoscopy is a minimally invasive endoscopic procedure to survey, diagnose and treat possible disease in the colon. Clinicians are trained to manipulate a colonoscope while minim...
Jagadeesan Jayender, Raúl San José E...
PODC
2010
ACM
13 years 7 months ago
Brief announcement: distributed contention resolution in wireless networks
We present and analyze simple distributed contention resolution protocols for wireless networks. In our setting, one is given n pairs of senders and receivers located in a metric ...
Thomas Kesselheim, Berthold Vöcking
GECCO
2005
Springer
103views Optimization» more  GECCO 2005»
14 years 2 months ago
Validation of evolutionary activity metrics for long-term evolutionary dynamics
As artificial life systems grow in number and sophistication, it is becoming increasingly important that the field agree on principled metrics for evaluating them. This report d...
Andrew Stout, Lee Spector
LAWEB
2003
IEEE
14 years 2 months ago
Towards an Ontology for Software Metrics and Indicators as the Foundation for a Cataloging Web System
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
María de los Angeles Martín, Luis Ol...