WIKINDX

TZI Literaturverzeichnis

List Resources

Displaying 601 - 625 of 2954 (Bibliography: WIKINDX Master Bibliography)
 
Parameters:
Category:  
S. Edelkamp and D. Sulewski, "Efficient Explicit-State Model Checking on General Purpose Graphics Processors". Added by: Deleted user  v    Pop. 17.19%
S. Edelkamp, D. Sulewski and C. Yücel, "GPU Exploration of Two-Player Games with Perfect Hash Functions". Added by: Deleted user  v    Pop. 19.04%
S. Edelkamp and D. Sulewski, "External Memory BFS with Delayed Duplicate Detection on the GPU". Added by: Deleted user  v    Pop. 17.39%
S. Edelkamp, M. Mark Kellershoff and D. Sulewski, "Action Planning for Automated Program Verification". Added by: Deleted user  v    Pop. 20.88%
S. Edelkamp, D. Sulewski and C. Yücel, "Perfect Hashing for State Space Exploration on the GPU". Added by: Deleted user  v    Pop. 17.19%
S. Edelkamp, P. Kissmann, D. Sulewski and H. Messerschmidt, "Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search" in Multikonferenz Wirtschaftsinformatik 2010, Göttingen, Feb. 23-25, 2010, pp. 235–255. Added by: Deleted user  v    Pop. 21.08%
S. Edelkamp and P. Kissmann, "Gamer, a General Game Playing Agent", KI - Künstliche Intelligenz, vol. 25, iss. 1, pp. 49–52, 2011. Added by: Deleted user  v    Pop. 17.98%
S. Edelkamp, D. Sulewski, J. Barnat, L. Brim and P. Simecek, "Flash Memory Efficient LTL Model Checking", Science of Computer Programming, vol. 76, iss. 2, pp. 136–157, 2011. Added by: Deleted user  v    Pop. 24.51%
S. Edelkamp and S. Schrödel, Heuristic Search: Theory and Practice. Morgan Kaufmann alias Elsevier Science, 2011, Added by: Deleted user  v    Pop. 6.26%
S. Edelkamp, Ed.KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, ser. Lecture Notes in Artificial Intelligence, Springer, 2011, Added by: Deleted user  v    Pop. 14.16%
S. Edelkamp, A. Elmasry and J. Katajainen, "Two Constant-Factor-Optimal Realizations of Adaptive Heapsort". Added by: Deleted user  v    Pop. 6.19%
S. Edelkamp and P. Kissmann, "On the Complexity of BDDs for State Space Search". Added by: Deleted user  v    Pop. 15.68%
S. Edelkamp, A. Elmasry and J. Katajainen, "Weak-Heap Family of Priority Queues in Theory and Praxis". Added by: Deleted user  v    Pop. 7.84%
S. Edelkamp and M. Stommel, "The Bitvector Machine: A Fast and Robust Machine Learning Algorithm for Non-linear Problems" in European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD), P. A. Flach, T. De Bie and N. Cristianini, Eds., 2012, pp. 175–190. Last edited by: Angela Schramm  v    Pop. 8.56%
S. Edelkamp, M. Gath, T. Cazenave and F. Teytaud, "Algorithm and Knowledge Engineering for the TSPTW Problem" in IEEE Symposium on Computational Intelligence in Scheduling (CISched), Singapur, Singapur, Apr. 16-9, 2013, Added by: Angela Schramm  v    Pop. 2.44%
S. Edelkamp and M. Gath, "Optimal Decision Making in Agent-Based Autonomous Groupage Traffic" in 5th International Conference on Agents and Artificial Intelligence (ICAART), J. Filipe and A. L. N. Fred, Eds., vol. 1, Barcelona, Spain, Feb. 15-8, 2013, pp. 248–254. Added by: Angela Schramm  v    Pop. 5.2%
I. Ehnert, L. Arndt, B. Bemeleit, N. Dembski, J. D. Gehrke, F. Hillebrandt, H. Langer, M. Lorenz and I. J. Timm, "Situation-aware decision-making in autonomous logistic processes - An interdisciplinary perspective" in Competitive Advantage through Global Supply Chain - Proceedings of the 11th International Symposium on Logistics, K. S. Pawar, C. S. Lalwani, J. C. de Carvalho and M. Muffatto, Eds., Beijing, China, July 9-11, 2006, pp. 402–407. Added by: Deleted user  v    Pop. 66.67%
H.-D. Ehrich, U. W. Lipeck and M. Gogolla, "Specification, Semantics and Enforcement of Dynamic Database Constraints" in Proc. 10th Int. Conf. Very Large Data Bases~(VLDB'84), U. Dayal, G. Schlageter and L. H. Seng, Eds., 1984, p. 310–318. Added by: Deleted user  v    Pop. 31.55%
H.-D. Ehrich, K. Drosten and M. Gogolla, "Towards an Algebraic Semantics for Database Specification" in Proc. 2nd IFIP 2.6 Working Conf. Database Semantics~(DS-2'86), R. A. Meersman and A. C. Sernadas, Eds., 1988, pp. 119–135. Added by: Deleted user  v    Pop. 31.29%
H.-D. Ehrich, M. Gogolla and U. W. Lipeck, Algebraische Spezifikation Abstrakter Datentypen - Eine Einführung in die Theorie, ser. Leitfäden und Monographien der Informatik, Teubner, Stuttgart, 1989, Added by: Deleted user  v    Pop. 37.42%
H.-D. Ehrich, M. Gogolla and A. C. Sernadas, "Objects and Their Specification" in Proc. 8th Int. Workshop Abstract Data Types~(WADT'91), M. Bidoit and C. Choppy, Eds., 1991, p. 40–65. Added by: Deleted user  v    Pop. 32.48%
H.-D. Ehrich, M. Gogolla, S. Conrad, G. Denker, R. Herzig and N. Vlachantonis, "Entwicklung zuverlässiger Informationssysteme - Stand der Arbeiten im Januar'93" in Korrekte Software durch formale Methoden - 4. KORSO-Workshop~(KORSO'93), M. Broy and S. Jähnichen, Eds., 1993, p. 50–56. Added by: Deleted user  v    Pop. 49.87%
H.-D. Ehrich, M. Gogolla, S. Conrad, G. Denker, R. Herzig and N. Vlachantonis, "Beiträge zu ``Das BMFT-Verbundprojekt Korrekte Software~(KORSO)''" in Das BMFT-Verbundprojekt Korrekte Software~(KORSO), M. Broy and S. Jähnichen, Eds. Informatik - Forschung und Entwicklung, Vol. 8, No. 3, 1993, p. 160–161. Added by: Deleted user  v    Pop. 48.48%
H.-D. Ehrich, M. Gogolla, S. Conrad, G. Denker, R. Herzig and N. Vlachantonis, "Entwicklung zuverlässiger Informationssysteme - Stand der Arbeiten im Januar'94" in Korrekte Software durch formale Methoden - 6. KORSO-Workshop~(KORSO'93), M. Broy and S. Jähnichen, Eds., 1994, p. 82–94. Added by: Deleted user  v    Pop. 39.86%
H. Ehrig, H.-J. Kreowski and M. Pfender, "Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten", Mathematische Nachrichten, vol. 59, pp. 105–124, 1974. Added by: Deleted user  v    Pop. 34.91%

Start   |   501 - 525   |   526 - 550   |   551 - 575   |   576 - 600   |   601 - 625   |   626 - 650   |   651 - 675   |   676 - 700   |   701 - 725   |   End
wikindx      |     Total Resources:  2954     |     Database queries:  113     |     Script execution:  1.09055 secs