Sciweavers

1415 search results - page 115 / 283
» Verified systems by composition from verified components
Sort
View
PAA
2008
15 years 6 months ago
Prototype reduction using an artificial immune model
Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...
Utpal Garain
BMCBI
2010
153views more  BMCBI 2010»
15 years 6 months ago
PPLook: an automated data mining tool for protein-protein interaction
Background: Extracting and visualizing of protein-protein interaction (PPI) from text literatures are a meaningful topic in protein science. It assists the identification of inter...
Shao-Wu Zhang, Yao-Jun Li, Li Xia, Quan Pan
IAT
2006
IEEE
16 years 14 days ago
Empirical Analysis for Agent System Comprehension and Verification
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
ICONS
2008
IEEE
16 years 26 days ago
A Systems Engineering Approach to Exception Handling
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
Herbert Hecht
ISCAS
2003
IEEE
126views Hardware» more  ISCAS 2003»
15 years 11 months ago
Bit rate optimized time-domain equalizers for DMT systems
The discrete multitone (DMT)transceivers have enjoyed great success in high speed data transmission. It is known that when the cyclicprefix is no shorterthan the channel impulse r...
Chun-Yang Chen, See-May Phoong