2076 search results - page 262 / 416 » Functional logic overloading |
139
click to vote
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Feature Selection (FS) is a technique for dimensionality reduction. Its aims are to select a subset of the original features of a dataset which are rich in the most use...
139
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
129
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
219
click to vote
FCCM
2003
IEEE
15 years 8 months ago
2003
IEEE
Although domain-specialized FPGAs can offer significant area, speed and power improvements over conventional reconfigurable devices, there are several unique and unexplored design...
129
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...