Sciweavers

462 search results - page 11 / 93
» Verifying Properties of Neural Networks
Sort
View
NPL
2000
91views more  NPL 2000»
13 years 7 months ago
A Novel Self-Creating Neural Network for Learning Vector Quantization
This paper presents a novel self-creating neural network scheme which employs two resource counters to record network learning activity. The proposed scheme not only achieves the b...
Jung-Hua Wang, Chung-Yun Peng
NCI
2004
101views Neural Networks» more  NCI 2004»
13 years 9 months ago
Intelligent monitoring of the offset printing process
In this paper, we present a neural networks and image analysis based approach to assessing colour deviations in an offset printing process from direct measurements on halftone mult...
Lars Bergman, Antanas Verikas
ICCS
2007
Springer
13 years 11 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
14 years 4 days ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
FORTE
2011
12 years 11 months ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...