Search results for "declarative modeling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ghassan Kwaiter	A General Approach to Constraint Solving for Declarative Modeling Domain. (PDF / PS)	IV	1999	DBLP DOI BibTeX RDF	Hierarchical Constraints and Intervals Propagation, Constraint Satisfaction Problem, Declarative Modeling, Dynamical Constraints
2	Peter Bollen	Fact-oriented declarative semantic enterprise modeling.	SAC	2010	DBLP DOI BibTeX RDF	conceptual modeling, process modeling, knowledge modeling, enterprise modeling, declarative modeling
2	Raffaele Cipriano, Agostino Dovier, Jacopo Mauro	Compiling and Executing Declarative Modeling Languages to Gecode.	ICLP	2008	DBLP DOI BibTeX RDF
2	John N. Hooker, Hak-Jin Kim, Greger Ottosson	A Declarative Modeling Framework that Integrates Solution Methods.	Annals OR	2001	DBLP DOI BibTeX RDF	linear programming, constraint programming, nonlinear programming, mathematical programming, modeling language, constraint propagation, optimization method
2	Olivier Le Roux, Véronique Gaildrat, René Caubet	Using Constraint Propagation and Domain Reduction for the Generation Phase in Declarative Modeling. (PDF / PS)	IV	2001	DBLP DOI BibTeX RDF
1	Gregor Grambow, Roy Oberhauser, Manfred Reichert	Semantically-Driven Workflow Generation Using Declarative Modeling for Processes in Software Engineering.	EDOCW	2011	DBLP DOI BibTeX RDF	declarative workflow modeling, evolutionary process support, software engineering workflows, process modeling, workflow management, semantic technology, situational method engineering
1	Paul Tarau	Declarative modeling of finite mathematics.	PPDP	2010	DBLP DOI BibTeX RDF
1	Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Espinoza, Peter J. Clarke, Yi Deng	Towards the Operational Semantics of User-Centric Communication Models.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Engin Uzuncaova, Sarfraz Khurshid	Constraint Prioritization for Efficient Analysis of Declarative Models.	FM	2008	DBLP DOI BibTeX RDF
1	Nikolaos D. Doulamis, Georgios Bardis, John Dragonas, Georgios Miaoulis, Dimitri Plemenos	Collaborative Evaluation Using Multiple Clusters in a Declarative Design Environment.	Artificial Intelligence Techniques for Computer Graphics	2008	DBLP DOI BibTeX RDF
1	Antoine Spicher, Olivier Michel	Declarative modeling of a neurulation-like process.	Biosystems	2007	DBLP DOI BibTeX RDF
1	Jaime Zaragoza, Félix Ramos, Héctor Rafael Orozco, Véronique Gaildrat	Creation of Virtual Environments through Knowledge-Aid Declarative Modeling.	LAPTEC	2007	DBLP DOI BibTeX RDF
1	Georgios Bardis, Vassilios Golfinopoulos, Georgios Miaoulis, Dimitri Plemenos	Abstract Description Refinement Using Incremental Learning and Scene Reconstruction.	ICTAI	2007	DBLP DOI BibTeX RDF
1	Dimitrios Makris, Georgios Bardis, Georgios Miaoulis, Dimitri Plemenos	Administration and Exploitation of Qualitative Aspects in Declarative 3D Scene Synthesis.	ICTAI	2007	DBLP DOI BibTeX RDF
1	Carsten Sinz	Compressing Propositional Proofs by Common Subproof Extraction.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Stéphane Grumbach, Jialiang Lu, Wenwu Qu	Self-organization of Wireless Networks Through Declarative Local Communication.	OTM Workshops	2007	DBLP DOI BibTeX RDF
1	Engin Uzuncaova, Sarfraz Khurshid	Program slicing for declarative models.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF
1	Peter R. King, Patrick Schmitz, Simon J. Thompson	Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	XML, modeling, animation, functional programming, time, events, continuous, expressions, behaviors, SVG, SMIL, DOM, declarative
1	Henrik Nilsson, John Peterson, Paul Hudak	Functional Hybrid Modeling.	PADL	2003	DBLP DOI BibTeX RDF
1	Bharat Jayaraman, Pallavi Tambay	Modeling Engineering Structures with Constrained Objects.	PADL	2002	DBLP DOI BibTeX RDF
1	Claudia Wenzel, Heiko Maus	Leveraging corporate context within knowledge-based document analysis and understanding.	IJDAR	2001	DBLP DOI BibTeX RDF	Office processes, Document knowledge, Context information, Document analysis system
1	Emmanuel Desmontils	Expressing constraint satisfaction problems in declarative modeling using natural language and fuzzy sets.	Computers & Graphics	2000	DBLP DOI BibTeX RDF
1	Gabriele Taentzer	Adding Visual Rules to Object-Oriented Modeling Techniques.	TOOLS	1999	DBLP DOI BibTeX RDF	Modeling, design, UML, constraints, rules, graph transformation
1	C. K. MacNish	Nonmonotonic Temporal Reasoning: a Logic-based Approach to Declarative Modeling.	Cybernetics and Systems	1998	DBLP DOI BibTeX RDF
1	Daniel Pacholczyk	About Linguistic Negation of Nuanced Property in Declarative Modeling in Image Synthesis.	Fuzzy Days	1997	DBLP DOI BibTeX RDF
1	Ghassan Kwaiter, Véronique Gaildrat, René Caubet	Interactive Constraint System for Solid Modeling Objects.	Symposium on Solid Modeling and Applications	1997	DBLP DOI BibTeX RDF	local propagation, propagation of degrees of freedom, object-oriented design, direct manipulation, declarative modeling
1	Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli	Declarative Modeling of the Operational Behavior of Logic Languages.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF