4763 search results - page 638 / 953 » On the Execution of Deep Models |
159
click to vote
ILP
2004
Springer
16 years 27 days ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
213
click to vote
IWDC
2004
Springer
16 years 27 days ago
2004
Springer
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
213
Voted
KR
2004
Springer
16 years 27 days ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
197
click to vote
WADT
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
197
click to vote
DATE
2003
IEEE
16 years 25 days ago
2003
IEEE
The specification on power consumption of a digital system is extremely important due to the growing relevance of the market of portable devices and must be taken into account sin...