Search results for "praxis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Karl Kleine	Pragmatische Kurskorrekturen für Spezifikationssprachen in der Praxis.	Software Engineering	1980	DBLP BibTeX RDF
16	Friedrich W. Beichter	Spezifikationsbeschreibungen in der industriellen Praxis.	Software Engineering	1980	DBLP BibTeX RDF
16	Norbert Köhler, Horst Schumacher	Einsatz von Software zur diskreten Simulation an einem Problem aus der Praxis. GPSS-V, GPSS-F und SIMULA im Vergleich.	Inform. Spektrum	1979	DBLP BibTeX RDF
16	Benno Schmidt 0003	Beitrag zur Theorie und Praxis der optimalen Gestaltung von technischen Entwurfsprozessen unter dem Aspekt der Anpassung bei besonderer Berücksichtigung rechnergestützter Konstruktion.		1979	RDF
16	Gerhard Steger	Fehlerermittlung in digitalen elektronischen Baugruppen durch selbstkontrollierende Prüfung unter Einsatz von Mikrorechnern: ein Beitrag zu Theorie und Praxis der Eigenprüfung elektronischer Systeme.		1979	RDF
16	Michael Heinhold, Christoph Nitsche, Georgios Papadopoulos	Empirische Untersuchung von Schwerpunkten der OR-Praxis in 525 Industriebetrieben der BRD.	Z. Oper. Research	1978	DBLP DOI BibTeX RDF
16	José L. Encarnação, Ernst G. Schlechtendahl	Konzepte, Probleme und Möglichkeiten von CAD_Systemen in der industriellen Praxis.	GI Jahrestagung	1978	DBLP DOI BibTeX RDF
16		Kurzberichte aus der DGOR-Arbeitsgruppe "Praxis der linearen Optimierung (PRALINE)" Über die Behandlung der Mehrperiodizität in linearen Planungsmodellen.	Math. Methods Oper. Res.	1977	DBLP DOI BibTeX RDF
16	Klaus Gewald, Dieter Hertel, Jan Witt	COLUMBUS - Strukturierte Programmierung in der Praxis.	Elektron. Rechenanlagen	1977	DBLP DOI BibTeX RDF
16	Ralph R. Brown	MCTS Nucleus: Philosophy and Praxis.	ACM SIGOPS Oper. Syst. Rev.	1976	DBLP DOI BibTeX RDF
16	Klaus Neumann 0001	Zur Theorie und Praxis der dynamischen Optimierung - Teil II.	Unternehmensforschung	1965	DBLP DOI BibTeX RDF
16	Klaus Neumann 0001	Zur Theorie und Praxis der dynamischen Optimierung.	Unternehmensforschung	1965	DBLP DOI BibTeX RDF
16	Jürg Wettstein	Automatisierungen von Sortiervorgängen in Theorie und Praxis.		1963	RDF
16	Walter Krelle	Ganzzahlige Programmierungen. Theorie und Anwendungen in der Praxis.	Unternehmensforschung	1958	DBLP DOI BibTeX RDF
15	Vládia Pinheiro, Tarcisio H. C. Pequeno, Vasco Furtado, Douglas Nogueira	Information Extraction from Text Based on Semantic Inferentialism.	FQAS	2009	DBLP DOI BibTeX RDF	Textual Inference, Information Extraction, Semantic Analysis
15	Tobias Schwarz, Ralf Tetzlaff, Tobias Heimann, Monika Eichinger, Ivo Wolf, Hans-Peter Meinzer	4D MRT Lungen-Volumetrie und funktionale Analyse mittels deformierbarer Formmodelle.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
15	Lena Maier-Hein, Aysun Tekbas, Alfred M. Franz, Ralf Tetzlaff, Sascha A. Müller, Frank Pianka, Ivo Wolf, Hans-Ulrich Kauczor, Bruno M. Schmied, Hans-Peter Meinzer	Reduktion der Invasivität bei nadelbasierter Bewegungskompensation für navigierte Eingriffe im Abdomen.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
15	Matthias Riechmann, Petra Ursula Lohnstein, Jörg Raczkowsky, Thomas Klenzner, Jörg Schipper, Heinz Wörn	Modellbasierte interindividuelle Registrierung an der lateralen Schädelbasis.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
15	Maddalena Sorrentino, Raffaella Naggi, Pietro Luca Agostini	E-Government Implementation Evaluation: Opening the Black Box.	EGOV	2009	DBLP DOI BibTeX RDF	Interdisciplinary Approach, Policy Studies, Evaluation, e-government, Implementation, Organization Theory
15	David G. Stork	Computer Vision and Computer Graphics Analysis of Paintings and Drawings: An Introduction to the Literature.	CAIP	2009	DBLP DOI BibTeX RDF	computer image analysis, brush stroke analysis, painting analysis, computer graphics reconstructions, pattern recognition, compositing, image forensics
15	Dominik Kuropka, Mathias Weske	Implementing a Semantic Service Provision Platform.	Wirtschaftsinf.	2008	DBLP DOI BibTeX RDF	Stichworte dienstorientierte Architekturen, semantische Dienste, Dienstsuche, Dienstkomposition, Adaptivität, Flexibilität
15	Jürgen Perl	Modellbildung und Simulation von Prozessen im Sport.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
15	Gregor Engels, Markus Voß 0001	Quasar Enterprise.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
15	Stephan Frohnhoff	Große Softwareprojekte.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
15	Mathias Klier	Metriken zur Bewertung der Datenqualität - Konzeption und praktischer Nutzen.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
15	Axel Newe, Richard Rascher-Friesenhausen, Heinz-Otto Peitgen	Einfache Grauwert-Transferfunktion für die Berechnung von digital rekonstruierten Röntgenbildern.	Bildverarbeitung für die Medizin	2008	DBLP DOI BibTeX RDF
15	Alexander Schmidt-Richberg, Jan Ehrhardt, Heinz Handels	Variationeller Ansatz für eine integrierte Segmentierung und nicht-lineare Registrierung.	Bildverarbeitung für die Medizin	2008	DBLP DOI BibTeX RDF
15	David Graham Wastell, Jürgen S. Sauer, Claudia Schmeink	Homeward Bound: Ecological Design of Domestic Information Systems.	Open IT-Based Innovation	2008	DBLP DOI BibTeX RDF	ecological design, domestic heating system, goal setting theory, feedback, Design science, operator performance, cognitive ergonomics
15	Frank Wagner 0002, Kathleen Krebs, Cataldo Mega, Bernhard Mitschang, Norbert Ritter	Email Archiving and Discovery as a Service.	IDC	2008	DBLP DOI BibTeX RDF
15	An Jing, Shi Ruizhi, Wen Jianlong	Stereo Express of Spatial Geographical Entity.	CSSE (6)	2008	DBLP DOI BibTeX RDF
15	Koun-Tem Sun, Chun-Huang Wang, Yi-Chun Lin, Yueh-Min Huang	Develop a novel technique for a virtual reality environment.	IJCNN	2008	DBLP DOI BibTeX RDF
15	Wolfgang Schröder-Preikschat, Daniel Lohmann, Fabian Scheler, Olaf Spinczyk	Dimensions of variability in embedded operating systems.	Inform. Forsch. Entwickl.	2007	DBLP DOI BibTeX RDF	Schlagworte Eingebettete Systeme, Betriebssysteme, Erweiterbarkeit, Spezialisierung, Portabilität, Nichtfunktionale Eigenschaften, Querschneidende Belange
15	Mads Bødker, Lene Nielsen, Rikke Orngreen	Enabling User Centered Design Processes in Open Source Communities.	HCI (10)	2007	DBLP DOI BibTeX RDF	usability, community, learning, Open Source, developers, action research
15	Thomas Lambertz, Regina Pohle, Iris Ernst, Peter-Silvan Lücking	Ermittlung der Korrelation zwischen den postradiogenen Veränderungen im MRT und den Dosiswerten des Bestrahlungsplans bei der extrakraniellen stereotaktischen Radiotherapie.	Bildverarbeitung für die Medizin	2007	DBLP DOI BibTeX RDF
15	Christoph Bodensteiner, Volker Martens, Stefan Schlichting, Norbert Binder, Rainer Burgkart, Achim Schweikard	3D-Rekonstruktion aus DSA-Projektionsdaten mittels diskreter Tomographie.	Bildverarbeitung für die Medizin	2007	DBLP DOI BibTeX RDF
15	Markus Dengl, R. Grunert, Christos Trantakis, Werner Korb, Emanuel Jank, Jörg Krüger, Tim C. Lüth, Jürgen Meixensberger	Vergleich von CT- mit C-Bogen-Segmentierungen für eine navigiert kontrollierte Fräse in der Neurochirurgie.	Bildverarbeitung für die Medizin	2007	DBLP DOI BibTeX RDF
15	Rod Chapman	MF1: security by construction.	SIGAda	2007	DBLP DOI BibTeX RDF
15	Rod Chapman	Correctness by construction: putting engineering (back) into software.	SIGAda	2007	DBLP DOI BibTeX RDF
15	Thomas H. Apperley	Rhythms of gaming bodies.	IE	2007	DBLP BibTeX RDF	cyclical rhythms, everyday life, videogames, bodies
15	Bernardo de la Ossa, José A. Gil 0001, Julio Sahuquillo, Ana Pont	Delfos: the Oracle to Predict NextWeb User's Accesses.	AINA	2007	DBLP DOI BibTeX RDF
15	Sarah Kenderdine	The Irreducible Ensemble: Place-Hampi.	VSMM	2007	DBLP DOI BibTeX RDF	co-evolutionary narrative, omnistereoscopic panoramas, autonomous agency, Hampi, Indian mythology, Symmetrical Archaeology, virtual heritage
15	Norman Chonacky	Evolution: It's not Just for Biology.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	computing in science and engineering, computational science, computer science
15	Hartmut Umbach, Pierre Metz	Use Cases vs. Geschäftsprozesse Das Requirements Engineering als Gewinner klarer Abgrenzung.	Inform. Spektrum	2006	DBLP DOI BibTeX RDF
15	Wanda Benesova, Alfred Rinnhofer, Gerhard Jakob	Determining the Average Grain Size of Super-Alloy Micrographs.	ICIP	2006	DBLP DOI BibTeX RDF
15	David G. Stork, M. Kimo Johnson	Estimating the location of illuminants in realist master paintings Computer image analysis addresses a debate in art history of the Baroque.	ICPR (1)	2006	DBLP DOI BibTeX RDF
15	Alexander K. Schömig, Dirk Eichhorn, Georg Obermaier	Über verschiedene Ansätze zur Ermittlung von Betriebskennlinien - Eine Anwendungsstudie aus der Halbleiterindustrie.	OR	2006	DBLP DOI BibTeX RDF
15	Gerrit Reiniger, Martin Josef Geiger	Multikriterielle Entscheidungsunterstützung zur Auswahl von Lagersystemen in der Ersatzteillogistik.	OR	2006	DBLP DOI BibTeX RDF
15	Rainer Kleber	Dynamisches Bestandsmanagement in der Kreislauflogistik.	OR	2006	DBLP DOI BibTeX RDF
15	Heiko von Drachenfels	Komponentenorientierte Programmierung im Kleinen.	Inform. Spektrum	2005	DBLP DOI BibTeX RDF
15	Thomas Baker	A Common Grammar for Diverse Vocabularies: The Abstract Model for Dublin Core.	ICADL	2005	DBLP DOI BibTeX RDF
15	Janne Backlund	Lifeworld and Meaning - Information in Relation to Context.	CoLIS	2005	DBLP DOI BibTeX RDF
15	Anthony S. Ruocco	Experiences using SPARK in an undergraduate CS course.	SIGAda	2005	DBLP DOI BibTeX RDF	computer science education, computer science curriculum, SPARK
15	Vladimír Olej, Jirí Krupka	Prediction of Gross Domestic Product Development by Takagi-Sugeno Fuzzy Inference Systems.	ISDA	2005	DBLP DOI BibTeX RDF
15	Armin Varmaz	Effizienzanalyse deutscher Banken mit Data Envelopment Analysis und Stabilitätsanalysen.	OR	2005	DBLP DOI BibTeX RDF
15	Michael Frank 0006, Martin Friedemann, Michael Mederer, Anika Schröder	Auswirkungen eines kontinuierlichen Fleet Assignment Prozesses.	OR	2005	DBLP DOI BibTeX RDF
15	René Victor Valqui Vidal	From action to learning - the systematisation of alternative consulting experiences.	AI Soc.	2004	DBLP DOI BibTeX RDF	Community work, Consulting work, Systematisation, Action research, Dialectics
15	Glenda Nalder	Art in the Informational Mode.	IV	2003	DBLP DOI BibTeX RDF	netArt, internet art, living systems, cyberculture, new media arts
15	Pavla Holejsovská, Zdenek Peroutka, Jirí Cengery	Non-Invasive Monitoring of the Human Blood Pressure.	CBMS	2003	DBLP DOI BibTeX RDF
15	Anthony Hall, Roderick Chapman	Correctness by Construction: Developing a Commercial Secure System.	IEEE Softw.	2002	DBLP DOI BibTeX RDF
15	Michael Hau, Peter Mertens	Computergestuetzte Auswahl komponentenbasierter Anwendungssysteme.	Inform. Spektrum	2002	DBLP DOI BibTeX RDF
15	Nikolaos E. Myridis	On the Adaptive Perception of Medical Image.Mutual Audio-visual Images. Towards a Multimedia Virtual Groping.	CBMS	2002	DBLP DOI BibTeX RDF
15	Gregor Snelting	Feyerabend - zwei Jahre später - zur Diskussion gestellt.	Inform. Spektrum	2001	DBLP DOI BibTeX RDF
15	Ulrich Hertrampf	Quantencomputer - Aktuelles Schlagwort.	Inform. Spektrum	2000	DBLP DOI BibTeX RDF
15	Safia Belkada, Toshio Okamoto, Alexandra I. Cristea	Supporting Discovery Learning in Building Neral Network Models.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
15	Reinhold Haux	Zur Diskussion Destellt: Zur Wissenschaftlichkeit in Medizin und Informatik.	Inform. Spektrum	1999	DBLP DOI BibTeX RDF	Wissenschaftlichkeit, Informatik, Medizin, Medizinische Informatik, Modelle
15	Franz Witzeling	Demo CD "Relationship", a Demonstration.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Interface man - multimedia, cyber-office, cyber doctor, role game, search for human synergy, problem-solving and co-operation between partners and in teams, relationship between virtual reality, real life, senso-mental-identity
15	Erwin M. Thurner, Mario Dal Cin, Winfrid G. Schneeweiss	Verläßlichkeitsbewertung komplexer Systeme.	Inform. Spektrum	1998	DBLP DOI BibTeX RDF	Verläßlichkeit, Zuverlässigkeit, Bewertungs-Methoden, Modellierungs-Werkzeuge, Fehlerbäume, Markov-Methoden, Stochastische Petri-Netze, Modellierung, Sicherheit
15	Fevzi Belli, Matthias Grochtmann, Oliver Jack	Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit.	Inform. Spektrum	1998	DBLP DOI BibTeX RDF	Software-Qualität, Software-Zuverlässigkeit, Zuverlässigkeitsmodelle
15	Hartmut Krasemann	Welche Ausbildung brauchen Informatiker?	Inform. Spektrum	1997	DBLP DOI BibTeX RDF	Informatik-Curriculum, Entwurf, Entwurfsmuster, Objektorientierung, Modellierung
15	Anthony Hall	Using Formal Methods to Develop an ATC Information System.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
15	W. Doerfler	A Robust Adaptive Strategy for the Nonlinear Poisson Equation.	Computing	1995	DBLP DOI BibTeX RDF	nonlinear Poisson equation, a posteriori error estimate, Adaptive mesh refinement
15	Robert Marek, Erhard Rahm	Performance Evaluation of Parallel Transaction Processing in Shared Nothing Database Systems.	PARLE	1992	DBLP DOI BibTeX RDF