Sciweavers

5550 search results - page 384 / 1110
» Different Approaches to Proof Systems
Sort
View
237
Voted
KES
2005
Springer
16 years 11 days ago
Design of a Digital Forensics Image Mining System
Increasing amount of illicit image data transmitted via the internet has triggered the need to develop effective image mining systems for digital forensics purposes. This paper dis...
Ross Brown, Binh Pham, Olivier Y. de Vel
207
Voted
IJAIT
2000
142views more  IJAIT 2000»
15 years 6 months ago
Adequacy of Limited Testing for Knowledge Based Systems
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
Tim Menzies, Bojan Cukic
169
Voted
ICTAI
2005
IEEE
16 years 14 days ago
Applying a Taxonomy of Formation Control in Developing a Robotic System
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
Harry Chia-Hung Hsu, Alan Liu
161
Voted
ICMAS
1998
15 years 8 months ago
Heterogeneity, Stability, and Efficiency in Distributed Systems
This paper explores the increasing the heterogeneity of an agent population to stabilize decentralized systems by adding bias terms to each agent's expected payoffs. Two appr...
James D. Thomas, Katia P. Sycara
DATE
2009
IEEE
139views Hardware» more  DATE 2009»
16 years 1 months ago
Reliable mode changes in real-time systems with fixed priority or EDF scheduling
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
Nikolay Stoimenov, Simon Perathoner, Lothar Thiele