3359 search results - page 373 / 672 » A Simplified Idea Algorithm |
120
Voted
COLT
2000
Springer
15 years 7 months ago
2000
Springer
Haussler, Kearns, Seung and Tishby introduced the notion of a shell decomposition of the union bound as a means of understanding certain empirical phenomena in learning curves suc...
117
click to vote
CPM
2000
Springer
15 years 7 months ago
2000
Springer
We present a Boyer-Moore approach to string matching over LZ78 and LZW compressed text. The key idea is that, despite that we cannot exactly choose which text characters to inspect...
106
click to vote
EICS
2010
ACM
15 years 7 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
122
click to vote
ESSLLI
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...
123
click to vote
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
The paper presents a Matlab toolbox for simulation of real-time control systems. The basic idea is to simulate a real-time kernel in parallel with continuous plant dynamics. The t...