nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes
|
Pradeep, B. |
|
1995 |
85 |
1-3 |
p. 175-184 10 p. |
artikel |
2 |
Analytic properties of maximum entropy OWA operators
|
Filev, Dimitar |
|
1995 |
85 |
1-3 |
p. 11-27 17 p. |
artikel |
3 |
An automatic selection method and its application to key search algorithms
|
Park, Ki-Hong |
|
1995 |
85 |
1-3 |
p. 127-146 20 p. |
artikel |
4 |
An integer linear programming approach to data allocation with the minimum total communication cost in distributed database systems
|
Lin, Xuemin |
|
1995 |
85 |
1-3 |
p. 1-10 10 p. |
artikel |
5 |
A robust method for understanding NL interface commands in the ICI Intelligent Command Interpreter
|
Mima, Hideki |
|
1995 |
85 |
1-3 |
p. 185-198 14 p. |
artikel |
6 |
Editorial Board
|
|
|
1995 |
85 |
1-3 |
p. IFC- 1 p. |
artikel |
7 |
How to thwart the mafia attack
|
Jau-Liang Chen, |
|
1995 |
85 |
1-3 |
p. 99-104 6 p. |
artikel |
8 |
HYPERSOLVER: A graphical tool for commonsense set theory
|
Pakkan, Müjdat |
|
1995 |
85 |
1-3 |
p. 43-61 19 p. |
artikel |
9 |
On characterization of a generalized information improvement due to N revisions
|
Ahmad, R. |
|
1995 |
85 |
1-3 |
p. 105-111 7 p. |
artikel |
10 |
On heuristics for determining the thickness of a graph
|
Cimikowski, Robert |
|
1995 |
85 |
1-3 |
p. 87-98 12 p. |
artikel |
11 |
Robust m-interval detection procedures for strong mixing noise
|
Hussain, Arshad |
|
1995 |
85 |
1-3 |
p. 113-125 13 p. |
artikel |
12 |
Robust MIPA array processors with bivariate and Markov dependence
|
Ketel, Mohammed |
|
1995 |
85 |
1-3 |
p. 63-86 24 p. |
artikel |
13 |
Time series segmentation: A sliding window approach
|
Chu, Chia-Shang James |
|
1995 |
85 |
1-3 |
p. 147-173 27 p. |
artikel |
14 |
Virtual lines, a deadlock-free and real-time routing mechanism for ATM networks
|
Smit, Gerard J.M. |
|
1995 |
85 |
1-3 |
p. 29-42 14 p. |
artikel |