Sciweavers

2593 search results - page 177 / 519
» constraints 2007
Sort
View
ICIAP
2007
ACM
16 years 6 months ago
A Method of Clustering Combination Applied to Satellite Image Analysis
An algorithm for combining results of different clusterings is presented in this paper, the objective of which is to find groups of patterns which are common to all clusterings. T...
Ivan O. Kyrgyzov, Henri Maître, Marine Campe...
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
16 years 25 days ago
Monitoring of a Class of Timed Discrete Events Systems
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
Adib Allahham, Hassane Alla
PRDC
2007
IEEE
16 years 24 days ago
An Automatic Real-Time Analysis of the Time to Reach Consensus
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
Tatsuhiro Tsuchiya, André Schiper
ICALP
2007
Springer
15 years 10 months ago
Affine Systems of Equations and Counting Infinitary Logic
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
Albert Atserias, Andrei A. Bulatov, Anuj Dawar
CEC
2007
IEEE
16 years 27 days ago
A biologically inspired approach for the control of the hand
The control of the hand in primate species is characterized by a high dimensionality, due to the large number of joints in the fingers. In this study we present how its manipulatio...
Emmanouil Hourdakis, Michail Maniadakis, Panos E. ...