6800 search results - page 920 / 1360 » Testing with Functions as Specifications |
164
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a two-level Boolean minimization tool (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are ge...
183
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
196
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents the Real-coded Genetic Algorithms for high-dimensional ill-scaled structures, what is called, the ktablet structure. The k-tablet structure is the landscape th...
208
click to vote
PG
1997
IEEE
15 years 11 months ago
1997
IEEE
A plenoptic function is a parameterized function describing the flow of light in space, and has served as a key idea in building some of the recent image-based rendering systems....
168
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
Network security has been a serious concern for many years. For example, firewalls often record thousands of exploit attempts on a daily basis. Network administrators could benefi...