Top
| Preface | |
| Committees | |
| On optical flow | p. 3 |
| Machine learning in dynamic systems: Some recent results | p. 15 |
| Interaction protocols in distributed artificial intelligence and their use to control robot vision systems | p. 17 |
| Towards a new architecture for symbolic processing | p. 31 |
| On the adequateness of AI-systems | p. 41 |
| Subpixel superresolution and inversion of image pyramid | p. 47 |
| Multimedia systems for digital catalogues | p. 59 |
| LOGFLOW: Prolog on massively parallel machines | p. 71 |
| Constraining visual expectations using a grammar of scene events | p. 81 |
| Assembly planning and geometric reasoning for grasping | p. 93 |
| Description and applications of an object-oriented programming environment | p. 107 |
| Sociorobotics: One to many robots | p. 123 |
| Towards an adequate theorem prover based on connection method | p. 137 |
| Natural language: Advantages and obstacles | p. 149 |
| Knowledge based design of intelligent interfaces in PiES workbench | p. 159 |
| Intelligent CAD in China | p. 169 |
| Formation of environment models for path planning by intelligent mobile robots | p. 181 |
| Applications of massively parallel architectures in artificial intelligence and knowledge processing | p. 191 |
| Representing soft knowledge | p. 207 |
| Heuristic reasoning for scheduling in a real domain | p. 219 |
| A nonredundant representation of position in robot kinematic equations | p. 227 |
| On transform image coding | p. 233 |
| Case based diagnosis in a technical domain | p. 241 |
| A synthesis of knowledge-based intelligent control systems for discrete event dynamic systems | p. 247 |
| Equivalent substitutions in kinematic equations | p. 253 |
| Design of parallel distributed environment for classification | p. 261 |
| Approach to determination of FMS reliability by computer simulation | p. 269 |
| Extending Prolog with data driven rules | p. 277 |
| Circulant Toeplitz matrices for digital curves smoothing | p. 283 |
| An extended relational database system with the capacity to manage rules and multimedia | p. 289 |
| Solving method for optimal load balancing and communication minimization | p. 297 |
| Adaptive construction of the generalized Voronoi diagram | p. 303 |
| Shape from area and centroid | p. 309 |
| The IDT system and its application for learning Prolog programs | p. 315 |
| Use of image processing and pattern recognition methods in the extraction of information from scanned cadastral maps | p. 321 |
| A real-time control expert system | p. 329 |
| An active artificial advisor | p. 339 |
| Contents, meaning and form. A hierarchic paraphrasing engine | p. 345 |
| A general system logical theory and its applications to task description for intelligent robots | p. 353 |
| Neurointelligence: From virtual cognition systems to systems of virtual reality | p. 361 |
| On the number of active nonterminals of cooperating/distributed grammar systems | p. 367 |
| Computational geometry and line drawing image processing | p. 375 |
| Genetic algorithms for decision problems | p. 383 |
| Non-standard topologies of neuron field in self-organizing feature maps | p. 391 |
| Reducing computational complexity of truth maintenance systems | p. 397 |
| Nonlinear system modelling using a fuzzy neural integrated system | p. 405 |
| Author Index | p. 413 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
