Search results for "normalform"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
185	Erich Hartmann	The normalform of a space curve and its application to surface design.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	normalform, constant distance sum/product surfaces, pipe surfaces, G n, isophotes, blending, bisectors, intersection points, intersection curves
33	Vincent Conitzer, Tuomas Sandholm	Computing the optimal strategy to commit to.	EC	2006	DBLP DOI BibTeX RDF	normalform games, stackelberg, game theory, nash equilibrium, commitment, leadership, bayesian games
32	Bernd Kolar, Markus Schöberl, Kurt Schlacher	Eine Normalform für eine spezielle Klasse flacher nichtlinearer zeitdiskreter Mehrgrößensysteme.	Autom.	2016	DBLP DOI BibTeX RDF
32	Markus Schöberl, Kurt Schlacher	Eine Normalform für eine spezielle Klasse flacher nichtlinearer Mehrgrößensysteme in Pfaffscher Systemdarstellung.	Autom.	2014	DBLP DOI BibTeX RDF
32	Bernhard Humm, Oliver Juwig	Eine Normalform für Services.	Software Engineering	2006	DBLP BibTeX RDF
32	Patrick Theobald	Ein Framework zur Berechnung der Hermite-Normalform von großen, dünnbesetzten, ganzzahligen Matrizen. (PDF / PS)		2001	RDF
32	Michael Bertol	Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden. (PDF / PS)		1996	RDF
32	Klaus Küspert, R. Erbe, M. Wengner	Varianten der Abbildung NF2-strukturierter Daten aud Relationen erster Normalform.	Grundlagen von Datenbanken	1991	DBLP BibTeX RDF
32	Dieter Zöbel	Normalform-Transformationen für CSP-Programme.	Inform. Forsch. Entwickl.	1988	DBLP BibTeX RDF
32	Günter Hotz, Rockford J. Ross	LL(k)- und LR(k)-Invarianz von kontexfreien Grammatiken unter einer Transformation auf Greibach-Normalform.	J. Inf. Process. Cybern.	1979	DBLP BibTeX RDF
32	Dieter Barthel	Minimisierung schaltalgebraischer Ausdrücke durch Auswahl von Primkonjunktionen ohne Rückgriff auf die kanonische alternative Normalform.	J. Inf. Process. Cybern.	1979	DBLP BibTeX RDF
32	Wolfgang Coy, Andreas Vogel	Eine einfach strukturierte Schaltwerk-Normalform mit niedriger Test-Komplexität.	J. Inf. Process. Cybern.	1976	DBLP BibTeX RDF
32	Hans Joachim Zander	Zur Minimierung von partiellen Booleschen Funktionen bei gegebener nichtkanonischer Normalform.	J. Inf. Process. Cybern.	1973	DBLP BibTeX RDF
32	Eberhard Oberst	Über eine Möglichkeit zur Bestimmung der Primkonjunktionen einer kanonischen alternativen Normalform.	J. Inf. Process. Cybern.	1966	DBLP BibTeX RDF
24	Andreas Goerdt	On Random Ordering Constraints.	CSR	2009	DBLP DOI BibTeX RDF	random structures, Algorithms, logic, probabilistic analysis, ordering
24	Andreas Goerdt	On Random Betweenness Constraints.	FCT	2009	DBLP DOI BibTeX RDF	random structures, Algorithms, logic, probabilistic analysis
24	Andreas Goerdt	The Cutting Plane Proof System with Bounded Degree of Falsity.	CSL	1991	DBLP DOI BibTeX RDF
24	Béla Halassy	Application of Relational Normalforms in CASE-Tools.	CAiSE	1990	DBLP DOI BibTeX RDF
24	Andreas Goerdt	Cuting Plane Versus Frege Proof Systems.	CSL	1990	DBLP DOI BibTeX RDF
24	Andreas Goerdt	Davis-Putnam Resolution versus Unrestricted Resolution.	CSL	1989	DBLP DOI BibTeX RDF