Sciweavers

398 search results - page 32 / 80
» Tuning P Systems for Solving the Broadcasting Problem
Sort
View
126
Voted
ATAL
2008
Springer
15 years 5 months ago
Synchronization protocols for reliable communication in fully distributed agent systems
In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction a...
Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Pa...
106
Voted
MVA
2007
146views Computer Vision» more  MVA 2007»
15 years 5 months ago
A SVM Based Method to Detect Color Shift Defects in IC Packages
Automated Visual Inspection (AVI) is an essential part in the manufacturing process of Integrated Circuit (IC) packages. Contamination a common defect type found in IC packages ap...
R. M. C. B. Ratnayake, Craig Hicks, M. A. Akbari
115
Voted
FC
1998
Springer
83views Cryptology» more  FC 1998»
15 years 8 months ago
Distributed Trustees and Revocability: A Framework for Internet Payment
From von Solms and Naccache's standpoint, constructing a practical and secure e-money system implies a proper regulation of its privacy level. Furthermore, when the system ben...
David M'Raïhi, David Pointcheval
128
Voted
IPPS
2010
IEEE
15 years 1 months ago
A scalable algorithm for maintaining perpetual system connectivity in dynamic distributed systems
We investigate the problem of maintaining a topology with small degree as well as small diameter in a dynamic distributed system such that the system always stays connected and pr...
Tarun Bansal, Neeraj Mittal
121
Voted
ECAI
2008
Springer
15 years 5 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan