Anul XLV                                                                                            2000

 

S T U D I A

UNIVERSITATIS BABEŞ-BOLYAI

 

 

INFORMATICA

2

 

 

 

 

 

 

SUMAR – CONTENTS – SOMMAIRE

 

 

D. Rădoiu, A. Roman, 3D Terrain Reconstruction Using Scattered Data Sets ..............  3

 

G. Pecsy,  L. Szucs,  Parallel Verification and Enumeration of Tournaments.............. 11

 

G. Cimoca, An Approximate Algorithm to Estimate Plausible Location of

Undiscovered Hydrocarbon Accumulations in Sparsely Drilled Areas .......................... 27

 

C. Popescu, A Modification of the Tseng-Jan Group Signature Scheme .......................  36

 

G. Şerban, A Method for Training Intelligent Agents Using Hidden Markov Models  41

 

V. Niculescu, Some Parallel Nondeterministic Algorithms ..............................................  51

 

M. Frenţiu, On Programming Style–Program Correctness Relations............................. 60

 

M. Suciu, Using Scalable Statecharts for Active Objects Internal Concurrency

Modelling.................................................................................................................................... 67

 

D. Tătar, G. Şerban, Term Rewriting Systems in Logic Programming and in

Functional Programming........................................................................................................ 77

 

M. Iuga, Formal Model for Software SystemsComposition.............................................. 85

 

A. Cāmpan, D. Bufnea, Automatic Support for Improving Interaction with a Web

Site................................................................................................................................................ 95

 

A. M. Imbroane, Spatial Data Capture in GIS Environmeni ........................................  104