Search results for "submodel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Gábor Kusper	Solving the resolution-free SAT problem by submodel propagation in linear time.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	resolution-free SAT, submodel propagation, Unicorn-SAT, SAT
3	Mingju Zhang, Lei Zhang 0001, Yanfeng Sun, Lin Feng, Wei-Ying Ma	Auto cropping for digital photographs.	ICME	2005	DBLP DOI BibTeX RDF	auto cropping, digital still photographs, composition submodel, conservative submodel, penalty submodel, particle swarm optimization, multimedia application, PSO, energy function
2	Joachim Biskup, Piero A. Bonatti	Controlled query evaluation with open queries for a decidable relational submodel.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70
2	H. A. J. A. van Kuijk, R. J. M. Bastiaans, J. A. van Oijen, L. P. H. de Goey	Grate Furnace Combustion: A Submodel for the Solid Fuel Layer.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Grate furnace, reverse combustion, biomass
2	Joachim Biskup, Piero A. Bonatti	Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel.	FoIKS	2006	DBLP DOI BibTeX RDF	Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation
2	Da-Chiang Chang, De-Ron Liang	Performance evaluation of Clos networks under bursty traffic.	ISPAN	1996	DBLP DOI BibTeX RDF	buffer length, performance evaluation, performance evaluation, performance, multiprocessor interconnection networks, bursty traffic, Clos networks, output buffers, submodel, cell loss probability
1	Vera Koponen	Independence and the finite submodel property.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Shang-Ming Zhou, John Q. Gan	Extracting Takagi-Sugeno Fuzzy Rules with Interpretable Submodels via Regularization of Linguistic Modifiers.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
1	Michal Haindl, Vojtech Havlícek	Texture Editing Using Frequency Swap Strategy.	CAIP	2009	DBLP DOI BibTeX RDF
1	Ping Yuan, Feng Ding, Peter Xiaoping Liu	HLS parameter estimation for multi-input multi-output systems.	ICRA	2008	DBLP DOI BibTeX RDF
1	Laurent Bako, René Vidal	Algebraic Identification of MIMO SARX Models.	HSCC	2008	DBLP DOI BibTeX RDF
1	Fabien Lauer, Gérard Bloch	Switched and PieceWise Nonlinear Hybrid System Identification.	HSCC	2008	DBLP DOI BibTeX RDF
1	Jan Hegewald, Manfred Krafczyk, Jonas Tölke, Alfons G. Hoekstra, Bastien Chopard	An Agent-Based Coupling Platform for Complex Automata.	ICCS	2008	DBLP DOI BibTeX RDF	generic coupling, mutual interactions, heterogeneous, JADE, multi-scale
1	Xiaoxia Wang, Peter Tiño, Mark A. Fardal	Multiple Manifolds Learning Framework Based on Hierarchical Mixture Density Model.	ECML/PKDD	2008	DBLP DOI BibTeX RDF
1	Yongzhong Wang, Yan Liang, Chunhui Zhao, Quan Pan	Adaptive Multi-Cue Kernel Tracking.	ICME	2007	DBLP DOI BibTeX RDF
1	Yijia Zheng, Guangyu Zhu, Shuqiang Jiang, Qingming Huang, Wen Gao	Highlight Ranking for Racquet Sports Video in User Attention Subspaces Based on Relevance Feedback.	ICME	2007	DBLP DOI BibTeX RDF
1	Ethan K. Jackson, Janos Sztipanovits	Constructive Techniques for Meta- and Model-Level Reasoning.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Marko Djordjevic	The finite submodel property and omega-categorical expansions of pregeometries.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Yanchong Zheng, Yushun Fan, Wei Tan	Interactive-Event-Based Workflow Simulation in Service Oriented.	GCC	2006	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu	The saturation algorithm for symbolic state-space exploration.	STTT	2006	DBLP DOI BibTeX RDF	Globally asynchronous locally synchronous systems, Symbolic state-space generation, Decision diagrams, Kronecker algebra, Fixed-point iterations
1	Daniel Hardt	Natural Language Inference as Triggered Submodel Search.	FLAIRS Conference	2005	DBLP BibTeX RDF
1	Lawrence J. Hagen	Evaluation of the Wind Erosion Prediction System (WEPS) erosion submodel on cropland fields.	Environmental Modelling and Software	2004	DBLP DOI BibTeX RDF
1	Xiuping Wu, C. Murray Woodside	Performance modeling from software components.	WOSP	2004	DBLP DOI BibTeX RDF	CBML, layered queue model, software component, performance prediction, generative programming, software performance, submodel, LQN
1	Mario Stanke, Stephan Waack	Gene prediction with a hidden Markov model and a new intron submodel.	ECCB	2003	DBLP BibTeX RDF
1	Rupert Paget	Strong Markov Random Field Model.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	contingency table analysis, texture, Markov processes, nonparametric statistics, model development
1	Giancarlo Ferrari-Trecate, Michael Schinkel	Conditions of Optimal Classification for Piecewise Affine Regression.	HSCC	2003	DBLP DOI BibTeX RDF
1	Qiying Hu, Jianyong Liu, Wuyi Yue	Continuous Time Markov Decision Processes with Expected Discounted Total Rewards.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	John Whaley, Michael C. Martin, Monica S. Lam	Automatic extraction of object-oriented component interfaces.	ISSTA	2002	DBLP DOI BibTeX RDF
1	Antonio Adán, Santiago Salamanca, Carlos Cerrada, Pilar Merchán	Reconstruction of Spherical Representation Models From Multiple Partial Models.	3DPVT	2002	DBLP DOI BibTeX RDF
1	Michal Haindl, Vojtech Havlícek	A Multiscale Colour Texture Model.	ICPR	2002	DBLP DOI BibTeX RDF
1	Catalina M. Lladó, Johannes Lüthi, Peter G. Harrison	Studying Sensitivities of an EJB Performance Model.	MASCOTS	2002	DBLP DOI BibTeX RDF
1	David Daly, William H. Sanders	A Connection Formalism for the Solution of Large and Stiff Models.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
1	Serge Haddad, Denis Poitrenaud	Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. (PDF / PS)	TIME	2001	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Ansgar Fehnker	Efficient Guiding Towards Cost-Optimality in UPPAAL.	TACAS	2001	DBLP DOI BibTeX RDF
1	Magdalena Gajewsky, Francesco Parisi-Presicce	On the Compatibility of Model and Model-Class Transformations.	WADT	2001	DBLP DOI BibTeX RDF
1	Albert Visser	Submodels of Kripke models.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): Primary: 03B20, 03C40, 03F50, Secondary: 03C90
1	Michal Haindl, Vojtech Havlícek	A Multiresolution Causal Colour Texture Model.	SSPR/SPR	2000	DBLP DOI BibTeX RDF
1	Helge Hagenauer	On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems.	Ada-Europe	1999	DBLP DOI BibTeX RDF
1	K. Tachibana, T. Furuhashi	A hierarchical fuzzy modeling method using genetic algorithm for identification of concise submodels.	KES	1998	DBLP DOI BibTeX RDF
1	Kanta Tachibana, Takeshi Furuhashi	Generality and Conciseness of Submodels in Hierarchical Fuzzy Modeling.	SEAL	1998	DBLP DOI BibTeX RDF
1	Enrique Casanovas	A test for expandability.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): Primary 03C45, 03G50
1	Katerina Goseva-Popstojanova, Aksenti Grnarov	Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems.	EUROMICRO	1997	DBLP DOI BibTeX RDF
1	Daniela Rosca, Mark Feblowitz, Chris Wild	Decision Making Methodology in Support of the Business Rules Lifecycle. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF
1	Yuxi Fu	A Proof Theoretical Approach to Communication.	ICALP	1997	DBLP DOI BibTeX RDF
1	Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström	OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse.	ICSE	1996	DBLP BibTeX RDF	OPSIS, graph based process modelling languages, interface elements, link relations, merge operation, process reuse, reusable fragments, sub model, type view, view mechanism, user interfaces, complexity, Petri net, Petri nets, software processes, software reusability, simulation languages, composition operators, process evolution, global model
1	Arend Rensink	A Complete Theory of Deterministic Event Structures.	CONCUR	1995	DBLP DOI BibTeX RDF
1	John C. S. Lui, Richard R. Muntz	Computing Bounds on Steady State Availability of Repairable Computer Systems.	J. ACM	1994	DBLP DOI BibTeX RDF
1	Guenter Klas	Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
1	Wesley W. Chu, Chi-Man Sit, Kin K. Leung	Task Response Time For Real-Time Distributed Systems With Resource Contentions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	task response times, extended queuing network model, module response times, weighted control-flow graph model, task response time, invocation rates, module assignments, real-time systems, computational complexity, computational complexity, graph theory, resource allocation, distributed processing, queueing theory, analytic model, simulation results, interprocessor communications, scheduling policies, resource contentions, decomposition technique, real-time distributed systems, submodels, distributed processing systems
1	Janice H. Cook, Leo H. Groner	Analytic Response Time Model for Distributed Systems.	APL	1990	DBLP DOI BibTeX RDF	APL
1	Spyros G. Tzafestas, George S. Stavrakakis, Anastasios Zagorianos	Robot model reference adaptive control through lower/upper part dynamic decoupling.	Journal of Intelligent and Robotic Systems	1988	DBLP DOI BibTeX RDF	dynamic decomposition, lower-part (arm) model, upper-part (wrist) model, Euler-Lagrange model, Newton-Euler model, model reference adaptive control, robot task, Robotic manipulator
1	Hiroyuki Sato, Mitsuo Ishii, Keiji Sato, Morio Ikesaka, Hiroaki Ishihata, Masanori Kakimoto, Katsuhiko Hirota, Kouichi Inoue	Fast image generation of construcitve solid geometry using a cellular array processor.	SIGGRAPH	1985	DBLP DOI BibTeX RDF	scan-line algorithms, computer graphics, computer aided design, solid modeling, constructive solid geometry, z-buffer, hidden surface removal
1	John Zahorjan	Workload representations in queueing models of computer systems.	SIGMETRICS	1983	DBLP DOI BibTeX RDF