Search results for "automated model building"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Nicolas Peltier	Automated Model Building: From Finite to Infinite Models.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
1	Robert F. Murphy	Automated proteome-wide determination of subcellular location using high throughput microscopy.	ISBI	2008	DBLP DOI BibTeX RDF
1	Matthew Easley, Elizabeth Bradley	Incorporating Engineering Formalisms into Automated Model Builders.	Computational Discovery of Scientific Knowledge	2007	DBLP DOI BibTeX RDF
1	Andrea D'Ambrogio	A model transformation framework for the automated building of performance models from UML models.	WOSP	2005	DBLP DOI BibTeX RDF	automated model building, UML, MDA, model transformation, software performance, LQN
1	Connie U. Smith, Catalina M. Lladó, Vittorio Cortellessa, Antinisca Di Marco, Lloyd G. Williams	From UML models to software performance results: an SPE process based on XML interchange formats.	WOSP	2005	DBLP DOI BibTeX RDF	SPE process, automated model building, methods and tools, XML, UML, performance model, software performance engineering, tool interoperability, interchange format
1	Uwe Egly, Reinhard Pichler, Stefan Woltran	On deciding subsumption problems.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	equational problems, satisfiability, subsumption, QBFs
1	Bernhard Gramlich, Reinhard Pichler	Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations.	CADE	2002	DBLP DOI BibTeX RDF
1	Matthew Easley, Elizabeth Bradley	Generalized Physical Networks for Automated Model Building.	IJCAI	1999	DBLP BibTeX RDF
1	Georg Gottlob, Reinhard Pichler	Working with Arms: Complexity Results on Atomic Representations of Herbrand Models.	LICS	1999	DBLP DOI BibTeX RDF	Automated Model Building, Herbrand Models, Complexity, Knowledge Representation, Logic Programming, Automated Deduction
1	Reinhard Pichler	Solving Equational Problems Efficiently.	CADE	1999	DBLP DOI BibTeX RDF
1	Reinhard Pichler	On the Complexity of H-Subsumption.	CSL	1998	DBLP DOI BibTeX RDF
1	Nicolas Peltier	Tree Automata and Automated Model Building.	Fundam. Inform.	1997	DBLP DOI BibTeX RDF
1	Christian G. Fermüller, Alexander Leitsch	Hyperresolution and Automated Model Building.	J. Log. Comput.	1996	DBLP DOI BibTeX RDF
1	Robert Matzinger	Computational Representations of Herbrand Models Using Grammars.	CSL	1996	DBLP DOI BibTeX RDF
1	Ricardo Caferra, Nicolas Peltier	A Significant Extension of Logic Programming by Adapting Model Building Rules.	ELP	1996	DBLP DOI BibTeX RDF
1	Ricardo Caferra, Nicolas Peltier	Extending Semantic Resolution via Automated Model Building: Applications.	IJCAI	1995	DBLP BibTeX RDF