default search action
Computers and Artificial Intelligence, Vol. 14, 1995
Volume 14, Number 1, 1995
- Timothy K. Shih, Fuyau Lin:
An Operational Semantics Approach to Disciplined Exceptions in Logic Programming. Comput. Artif. Intell. 14(1): 1-33 (1995) - Gary S. H. Tan, Wei-Ngan Chin:
Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor. Comput. Artif. Intell. 14(1): 35-55 (1995) - Yong Meng Teo:
Managing Parallelism in Parallel Systems. Comput. Artif. Intell. 14(1): 57-91 (1995) - Václav Dvorák, Jaroslav Sustr:
A Synthesis of Sub-Optimal Decision Programs. Comput. Artif. Intell. 14(1): 93-103 (1995)
Volume 14, Number 2, 1995
- Pedro López, José Duato:
Deadlock-Free Fully-Adaptive Minimal Routing Algorithms: Limitations and Solutions. Comput. Artif. Intell. 14(2): 105-125 (1995) - Viktor Cingel, P. Fric:
An Event-Driven Net Based Simulation Methodology within a Knowledge-Based Framework. Comput. Artif. Intell. 14(2): 127-145 (1995) - Mukesh K. Mohania, Nandlal L. Sarda:
A Framework for Cooperative Deductive Database Systems. Comput. Artif. Intell. 14(2): 147-171 (1995) - Luc Moreau:
A Parallel Functional Language with First-Class Continuations. Programming Style and Semantics. Comput. Artif. Intell. 14(2): 173-205 (1995) - Jan Blatný, Dalibor Bartonek:
The Hardware Accelerator SFDL/SCL. Comput. Artif. Intell. 14(2): 207-224 (1995)
Volume 14, Number 3, 1995
- Fabrizio Sebastiani, Umberto Straccia:
Default Reasoning in a Terminological Logic. Comput. Artif. Intell. 14(3): 225-251 (1995) - D. Jakus:
Models and Properties of Abstract Symbol Systems. Comput. Artif. Intell. 14(3): 253-270 (1995) - Hugo Van Hove, Alain Verschoren:
On Epistasis. Comput. Artif. Intell. 14(3): 271-277 (1995) - János Demetrovics, Vu Duc Thi:
Armstrong Relations, Functional Dependencies and Strong Dependencies. Comput. Artif. Intell. 14(3): 279-298 (1995) - Elisa Francomano, Adele Tortorici Macaluso, Marián Vajtersic:
Implementation Analysis of Fast Matrix Multiplication Algorithms on Shared Memory Computers. Comput. Artif. Intell. 14(3): 299-313 (1995)
Volume 14, Number 4, 1995
- Shie-Jue Lee, Mu-Tune Jone:
A Symbolic Logic Approach of Deriving Initial Neural Network Configurations for Supervised Classification. Comput. Artif. Intell. 14(4): 317-337 (1995) - Borut Robic, Jurij Silc:
Algorithm Mapping with Parallel Simulated Annealing. Comput. Artif. Intell. 14(4): 339-351 (1995) - Erricos John Kontoghiorghes, M. R. B. Clarke:
Solving the General Linear Model on a SIMD Array Processor. Comput. Artif. Intell. 14(4): 353-370 (1995) - Roman Blasko:
Performance Prediction and Expert Adviser for Automatic Parallelisation of Fortran Programs. Comput. Artif. Intell. 14(4): 371-393 (1995) - Toshio Okamoto, Yoshiro Ueda, Yasayuki Kunishige:
The Distributed Multimedia Learning Environment Employing Gaming-Simulation Method with Expert Systems in the World of Macro Economics. Comput. Artif. Intell. 14(4): 395-415 (1995)
Volume 14, Number 5, 1995
- K. Robeys, Hugo Van Hove, Alain Verschoren:
Genetic Algorithms and Trees. Part II: Strategy Trees (The Variable Width Case). Comput. Artif. Intell. 14(5): 417-434 (1995) - Miroslav Morhác:
Comparison of Several Error-Free Algorithms to Solve Vandermonde Systems. Comput. Artif. Intell. 14(5): 435-453 (1995) - János Demetrovics, Vu Duc Thi:
Some Observations on the Minimal Armstrong Relations for Normalised Relation Schemes. Comput. Artif. Intell. 14(5): 455-467 (1995) - Francesca Arcelli, Massimo De Santo, Michele Di Santo, Antonio Picariello:
Investigating the Use of Actors for Computer Vision Applications. Comput. Artif. Intell. 14(5): 469-493 (1995) - Jirí Kepka:
A Brief Survey on Control Strategies in Pattern Analysis. Comput. Artif. Intell. 14(5): 495-512 (1995) - Jan Blatný, Zdenek Kotásek:
I-Path Analysis. Comput. Artif. Intell. 14(5): 513-530 (1995)
Volume 14, Number 6, 1995
- Yoram Moses, Moshe Tennenholtz:
Artificial Social Systems. Comput. Artif. Intell. 14(6): 533-562 (1995) - Shie-Jue Lee, David A. Plaisted:
Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover. Comput. Artif. Intell. 14(6): 563-578 (1995) - Bernd Freisleben, Thilo Kielmann:
Automated Transformation of Sequential Divide-And-Conquer Algorithms into Parallel Programs. Comput. Artif. Intell. 14(6): 579-596 (1995) - Chul E. Kim, Ivan Stojmenovic:
Sequential and Parallel Approximate Convex Hull Algorithms. Comput. Artif. Intell. 14(6): 597-610 (1995) - V. E. Kotov, S. A. Starkova, Irina B. Virbitskaite:
On Varieties of Density and Crossing Properties for Event Structures. Comput. Artif. Intell. 14(6): 611-622 (1995)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-01 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: