Sciweavers

3658 search results - page 123 / 732
» Founding properties on measurement
Sort
View
IEEECIT
2005
IEEE
14 years 2 months ago
Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...
Kazuhiro Ogata, Kokichi Futatsugi
JSS
2000
86views more  JSS 2000»
13 years 9 months ago
Evaluation of code review methods through interviews and experimentation
This paper presents the results of a study where the effects of introducing code reviews in an organisational unit have been evaluated. The study was performed in an ongoing comme...
Martin Höst, Conny Johansson
EUROMED
2010
13 years 7 months ago
Hyperspectral Ground Truth Data for the Detection of Buried Architectural Remains
The aim of the study is to validate hyperspectral ground data for the detection of buried architectural remains. For this reason spectro-radiometric measurements were taken from an...
Athos Agapiou, Diofantos G. Hadjimitsis, Apostolos...
FUZZIEEE
2007
IEEE
14 years 3 months ago
Consistency of Reciprocal Preference Relations
— The consistency of reciprocal preference relations is studied. Consistency is related with rationality, which is associated with the transitivity property. For fuzzy preference...
Francisco Chiclana, Enrique Herrera-Viedma, Sergio...
BIBE
2000
IEEE
14 years 1 months ago
Reconstructing Specimens using DIC Microscope Images
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
Farhana Kagalwala, Takeo Kanade