4897 search results - page 770 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
159
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
247
click to vote
FPGA
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...
197
click to vote
AAAI
1998
15 years 8 months ago
1998
We present a novel methodology for building humanlike artificially intelligent systems. We take as a model the only existing systems which are universally accepted as intelligent:...
167
click to vote
IMAGING
2003
15 years 8 months ago
2003
The use of an Interim Connection Space (ICS) is proposed as a means for extending the concept of device independent color management to support spectral imaging. Color management,...
190
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...