allgemeine Informatikbücher - englischsprachig  (13.745 Angebote unter 28.127.528 Artikeln)

Invited Papers.- Intra-step Interaction.- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering.- An ALGOL-View on Turbo ASM.- An ASM Specification of C# Threads and ...

Searching is an important process in most AI systems, especially in those AI production systems consisting of a global database, a set of production rules, and a control system. Because of the intr...

As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as ...

6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Taking human factors into account, a visual servoing approach aims to facilitate robots with real-time situational information to accomplish tasks in direct and proximate collaboration with people....

Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling:...

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneou...

Theoretical and Manipulative Abduction.- Non-explanatory and Instrumental Abduction.- Semiotic Brains and Artificial Minds.- Neuro-multimodal Abduction.- Animal Abduction.- Abduction, Affordances, ...

10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club...

Prologue: Aims, Themes, and Motivations.- Prologue: Aims, Themes, and Motivations.- Mathematical Framework: Iterated Relations and Composition.- Dynamics of Relations.- Dynamics of Composed Relatio...

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and ...

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed togethe...

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented to...