Loading...
Images of Antje Strohmaier
(0 from 0 )1
0
0
News
Neurokolloquium:Programm:Frühere Vorträge - Fakultät
www.informatik.uni-ulm.de
Dr. Antje Strohmaier, Technische Hochschule Darmstadt (Abstract), Sehsysteme zur Sicherheits- und Komfortsteigerung im Straßenverkehr › ...
SAC '96 Programme
www.sigapp.org
Feb 17, — Christoph S. Herrmann, FG Intellektik, TH Darmstadt, Germany Steffen Holldobler, Antje Strohmaier, TU Dresden, FG Wissensverarbeitung, ... › sac › sac1996 › programme
Network Profiles
LinkedIn: Antje Strohmaier | LinkedIn
berufliche Netzwerk, das Fach- und Führungskräften wie Antje Strohmaier dabei
...
All S* contributors - Bibliography of Software Language ...
bibtex.github.io
... Anthony V. W. Smith · Antje Strohmaier · Antoine Spicher · Antonella Di Stefano · Antonella Santone · Antonietta Spedalieri · Antonino Sabetta ... › person › index-s
Logic Programs and Connectionist Networks - People
people.cs.ksu.edu
by S Holldobler — J ¨org Wunderlich, Pascal Hitzler, Sebastian Bader. Antje Strohmaier (Beringer) and Andreas Witzel. Logic Programs and Connectionist Networks. › NeSy05 › hoelldobler
Sophia Muenkel at Merck Gruppe - DataLead
data-lead.com
Feb 5, — Antje Strohmaier Merck Gruppe. Antje Strohmaier Head Of Program Management IT Healthcare Analytics. Anna Fritzsche Merck Gruppe. › person › name › Sophia+Muenkel
Books & Literature
Knowledge Representation in Neural Networks Goodreads
www.goodreads.com
Start by marking “Knowledge Representation in Neural Networks: Herausgeber, Christoph Herrmann, Frank Reine, Antje Strohmaier” as Want to Read:. › book › show ›
Automated Deduction - A Basis for Applications Volume I ...
books.google.com
... Martin Strecker University of Ulm Artificial Intelligence Ulm, Germany strecker®ki.informatik.uni-ulm.de Antje Strohmaier TLC GmbH Antje.
KI-97: Advances in Artificial Intelligence: 21st Annual ...
books.google.com
349 Antje Strohmaier Multi - flip Networks : Parallelizing ... Diagnosis Tasks Olaf Steinmann , Antje Strohmaier and Thomas Stützle 337 Tabu Search vs.
Related Documents
LEBENSLAUF
slidex.tips
ser (Siemens), Dr. G. Strobl (R.O.S.E. Informatik GmbH), Dr. Antje Strohmaier (TLC),. Dr. Klaus Varrentrapp (Tonbeller AG, vorher Ernst & Young, Stuttgart), ... › download › lebenslauf-leonhar...
Modelling and Exploiting Structures in Solving Propositional ...
research-repository.griffith.edu.au
by DN Pham · · Cited by 4 — [104] Olaf Steinmann, Antje Strohmaier, and Thomas Stützle. Tabu search vs. random walk. In. Advances in Artificial Intelligence (KI-97), volume of ... › handle
Workshop on Modeling and Solving Problems with Constraints
www2.ift.ulaval.ca
by S Prestwich — [14] Olaf Steinmann, Antje Strohmaier, and Thomas Stutzle, 'Tabu search vs. random walk', in KI - Kunstliche Intelligenz, pp. › ~quimper › publications
Antje Strohmaier - researchr alias
researchr.org
Publications by 'Antje Strohmaier'. Publications; Advised A Complete Neural Network Algorithm for Horn-SatAntje Strohmaier. BIRTHDAY 2000:
Scientific Publications
Multi-Flip Networks: A Parallelization of Local SAT-Algorithms ...
iccl.inf.tu-dresden.de
Antje Strohmaier. Multi-Flip Networks: A Parallelization of Local SAT-Algorithms. Technical Report, Knowledge Representation and Reasoning Group, ... › web › WVPub11
Karrierebrücken bauen - TU Darmstadt
www.intern.tu-darmstadt.de
für Antje Strohmaier ein zentraler Aspekt bei ihrem Engagement als Mentorin: „Ich möchte den jungen Frauen etwas in Sachen Selbstvertrauen und Selbstein-. › media › artikel
Publications
Particle swarm optimization for solving constraint satisfaction ...
core.ac.uk
2005 · Cited by 14 — [loll Olaf Steinmann, Antje Strohmaier, and Thomas Stutzle. Tabu search vs. random walk. In Christopher Habel Gerhard Brewka and Bernhard Nebel, editors, ... › download › pdf
A Complete Neural Network Algorithm for Horn-SAT
link.springer.com
by A Strohmaier · · Cited by 1 — A Complete Neural Network Algorithm for Horn-SAT. Authors; Authors and affiliations. Antje Strohmaier. Antje Strohmaier TLC GmbHFrankfurtGermany. › chapter
hoch3 # by TU Darmstadt - Issuu
issuu.com
Mar 28, — Antje Strohmaier, damals noch Abteilungsleiterin bei DB Systel und ... Erfolgreiches Mentoring: Meike Becker (links) und Antje Strohmaier. › tu_darmstadt › docs › hoch3_
Reports & Statements
Twitter Posts: Kasey Duplechin (Kaseygqi)
Knowledge representation in neural networks: Herausgeber, Christoph Herrmann, Frank Reine, Antje Strohmaier: http://t.co/gcriXzqG
Google Groups: CFP Knowledge Representation in Neural Networks
: ... abstract Organizers: Christoph Herrmann (TH Darmstadt)
Google Groups: ECAI'96 wks on Advances in Propositional Deduction
: ... clause propagation to solve 3-Sat problem" 10: :00 Break
Google Groups: Automated deduction - a basis for appllications Vol. II : Systems and ...
: SVEN-ERIK BORNSCHEUER, STEFFEN HÖ™LLDOBLER, YVONNE KALINKE AND ANTJE
Miscellaneous
Antje Strohmaier | LinkedIn
www.linkedin.com
View Antje Strohmaier's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Antje Strohmaier discover ...
CURRICULUM VITAE - IRIDIA
iridia.ulb.ac.be
3 Olaf Steinmann, Antje Strohmaier, and Thomas Stützle. Tabu Search vs. Random Walk. In G. Brewka, C. Habel and B. Nebel, editors, KI-97: Advances in ... › CV.ThomasStuetzle.pdf
Frauenkarrieren in Teilzeit - Technische Hochschule ...
www.thm.de
Nov 6, — Antje Strohmaier (Merck, Darmstadt) über ihre Erfahrungen mit Führungsfunktionen in Teilzeit. Die Referentinnen informierten über ihre ... › und-ausserdem
Holger's PhD descendants - ADA research group - LIACS
ada.liacs.nl
Holger interacted closely with several of them, including Antje Strohmaier, Steffen Hölldobler, Thomas Stützle, Torsten Schaub, as well as Mauro Birattari, ... › phd-genealogy
LEBENSLAUF. Leonhard Wolfgang Bibel - DocPlayer.org
docplayer.org
... Darmstadt Stefan Gerberding, Implizite und explizite Induktionsbeweisverfahren, Darmstadt Antje Strohmaier, Logisches Schließen mit massiv parallelen ... › L...
Logic Programs and Connectionist Networks - CORE Scholar
corescholar.libraries.wright.edu
by P Hitzler · · Cited by 141 — Hermann, Frank Reine, and Antje Strohmaier, editors, Knowledge Represen- tation in Neural networks, pages 33–46. Logos Verlag, Berlin, › viewcontent
Mathematical family of Jakob Stoustrup
homes.es.aau.dk
Antje Strohmaier Antoine de Vries Antoine Derighetti Antoine Ducros Antoine Edouard Antoine Frantzen Antoine Gautier Antoine Girard Antoine Lejay › jakob › ancestors › family
Multi-flip networks: Parallelizing genSAT - INFONA
www.infona.pl
Multi-flip networks: Parallelizing genSAT. Antje Strohmaier · Details · Contributors · Bibliography · Quotations · Similar · Collections ... › resource
Neural-Symbolic Integration - Qucosa - TU Dresden
tud.qucosa.de
by S Bader · Cited by 7 — mann, Frank Reine, and Antje Strohmaier, editors, Knowledge Representation in. Neural networks, pages 33–46. Logos Verlag, Berlin, › api › attachment › ATT-0
Tabu Search vs. Random Walk | Semantic Scholar
www.semanticscholar.org
... title={Tabu Search vs. Random Walk}, author={Olaf Steinmann and Antje Strohmaier and Thomas St{\"u}tzle}, booktitle={KI}, year={1997} }. › paper › Tabu-Search-v...
What does Strohmaier last name mean - Nameslist.org
www.nameslist.org
Strohmaier meaning | Last name Strohmaier origin ; Antje Strohmaier Mathematician ; Carin-Anne Strohmaier Film producer ; Ivy Strohmaier Actress ... › surname › Strohmaier
LEBENSLAUF. Leonhard Wolfgang Bibel - PDF
docplayer.org
Informatik GmbH), Dr. Antje Strohmaier (TLC), Dr. Klaus Varrentrapp (Tonbeller
AG, ...
CiteSeerX — Citation Query Symmetric neural networks and logic...
citeseer.uark.edu
CiteSeerX - Scientific documents that cite the following paper: Symmetric neural networks and logic satisfiability
Knowledge representation in neural networks / Herausgeber, Christoph...
catalyst.library.jhu.edu
Knowledge representation in neural networks: Herausgeber, Christoph Herrmann, Frank Reine, Antje Strohmaier. Berlin : Logos, © pages ...
Logos Verlag Berlin: Katalog
www.logos-verlag.com
Numerical Electrohydrodynamics in Electrostatic Precipitators (1997). Antje Strohmaier , Christoph Herrmann, Frank Reine (Hrsg.) Knowledge representation in ...
XPLORE Library Catalog
xplore.xavier.edu
Multi-flip Networks: Parallelizing GenSAT / Antje Strohmaier, Resource-Adaptive Action Planning in a Dialogue System for Repair Support / Thomas Weis ...
viaf.org
Knowledge representation in neural networks / Herausgeber, Christoph Herrmann, Frank Reine, Antje Strohmaier. (1) Library of Congress/ ...
Logos Verlag: Gesamtverzeichnis
www.logos-verlag.de
Gesamtverzeichnis des Wissenschaftsverlags Logos Verlag Berlin
Related search requests for Antje Strohmaier
Wolfgang Bibel Gerhard Brewka Christopher Habel | Christoph Herrmann Steffen Hölldobler Bernhard Nebel | Thomas Stützle |
People Forename "Antje" (2943) Name "Strohmaier" (135) |
sorted by relevance / date