2307 search results - page 282 / 462 » Dynamic Fuzzy Logic |
126
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
139
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
120
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
152
click to vote
FPGA
2007
ACM
15 years 10 months ago
2007
ACM
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
153
click to vote
ISPA
2007
Springer
15 years 10 months ago
2007
Springer
The number of processors embedded in high performance computing platforms is growing daily to solve larger and more complex problems. The logical network topologies must also suppo...