69 Ergebnisse - Zeige 61 von 69.

The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial In...

The field of machine learning and data mining in connection with pattern recognition enjoys growing popularity and attracts many researchers. Automatic pattern recognition systems have proven successful in many applications. The wide use of these systems depends on their ability to adapt to changing environmental conditions and to deal with new objects. This requires learning capabilities on the parts of these systems. The exceptional attracti...

The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- ...

Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN, is enjoying a consta...

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual confe...

Through a detailed introductory discussion of the relation between the civil and the political, and between recognition and representation, this book provides a comprehensive vocabulary for understanding citizenship. It uses the work of T H Marshall to frame the critical interrogation of how ethnic, technological, ecological, cosmopolitan, sexual and cultural rights relate to citizenship. The authors show how the civil, political and social me...

Millions of people worldwide have already benefited from the healing practice of Reiki. With the help of this introductory Reiki book, you can learn the basic principles of this simple, yet profound system for healing and spiritual growth that works on an energetic level. Make the most of Reiki from a practical point of view as you explore its spiritual essence: Heal yourself and others physically, mentally, and emotionally Develop compassion ...

The roots of Italian Witchcraft go back to the indigenous Mediterranean/Aegean neolithic cult of the Great Goddess. Follow its development to the time of the Inquisition, and to the present day. Learn how Italian witches viewed nature, magick, and the occult forces, and uncover surprising discoveries of how expressions of Italian Witchcraft have been taught and used in this century.

WITCHES' HATS AND HARVEST MOON GHOSTS THAT DANCE TO HAUNTED TUNE APPLES, GOODIES, FOOD GALORE HALLOWEEN HAS THIS AND MORE!Just where did this autumn gaiety begin? Let Silver RavenWolf guide you through the cobwebby corners of time to uncover the history behind Halloween. Honor the spirit of this hallowed harvest holiday with: -- Halloween magick: Prosperity Pumpkin Spell, Corn Husk Dolly, Solitary Harvest Moon Ritual-- Magickal goodies: Candie...