Sciweavers

3073 search results - page 103 / 615
» Real World Verification
Sort
View
AIR
2005
85views more  AIR 2005»
13 years 9 months ago
On Paradox of Fuzzy Modeling: Supervised Learning for Rectifying Fuzzy Membership Function
The paradox of fuzzy modeling is recognized due to the co-existence of its effectiveness of solving uncertain problems in the real world and the skepticism of its reasonability in ...
Shaopei Lin
ICMCS
2000
IEEE
126views Multimedia» more  ICMCS 2000»
14 years 19 days ago
Interactive Artificial Life based on Behavior and Perception in a Virtual Environment
A cyber-character is a kind of artificial life inhabiting a virtual world. To be a life form in the virtual world, cyber characters need sensors and control systems. The sensor sy...
Hyun Seung Yang, Hyun-jin Park, Yong-Jin Cho
SEFM
2009
IEEE
14 years 3 months ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin
RTAS
2008
IEEE
14 years 3 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
ICIP
2009
IEEE
14 years 10 months ago
Palmprint Verification Using Consistent Orientation Coding
Developing accurate and robust palmprint verification algorithms is one of the key issues in automatic palmprint recognition systems. Recently, orientation based coding algorithms...