Search results for "ILP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	Pin-Han Ho, János Tapolcai, Tibor Cinkler	Segment shared protection in mesh communications networks with bandwidth guaranteed tunnels.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	survivable routing, working and protection paths, integer linear programming (ILP), shared risk link group (SRLG), segment shared protection (SSP)
38	Wen-Jer Wu, Chuan Yi Tang	Memory test time reduction by interconnecting test items.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	memory test time reduction, test items interconnection, initialization sequences, verification sequences, signal settling time, interconnection problem, rural Chinese postman problem, integer linear programming model, successive ILP models, graph theory, constraints, linear programming, integrated circuit testing, integer programming, iterations, NP-hard problem, integrated memory circuits
38	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications.	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
37	Sandro Pirkwieser, Günther R. Raidl	Multiple Variable Neighborhood Search Enriched with ILP Techniques for the Periodic Vehicle Routing Problem with Time Windows.	Hybrid Metaheuristics	2009	DBLP DOI BibTeX RDF
37	José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton	An ILP System for Learning Head Output Connected Predicates.	EPIA	2009	DBLP DOI BibTeX RDF
37	Zhen Yang 0006, Anthony Vannelli, Shawki Areibi	An ILP based hierarchical global routing approach for VLSI ASIC design.	Optim. Lett.	2007	DBLP DOI BibTeX RDF	VLSI physical design, Standard cell global routing, Integer Linear Programming
37	Roberto De Franceschi, Matteo Fischetti, Paolo Toth	A new ILP-based refinement heuristic for Vehicle Routing Problems.	Math. Program.	2006	DBLP DOI BibTeX RDF	Large Neighborhood Search, Distance-Constrained Vehicle Routing Problem, Heuristics, Vehicle Routing Problems, Computational Analysis
37	Hiroshi Saito, Nattha Jindapetch, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya	ILP-based Scheduling for Asynchronous Circuits in Bundled-Data Implementation.	CIT	2006	DBLP DOI BibTeX RDF
37	Hui Wu 0001, Joxan Jaffar, Jingling Xue	Instruction Scheduling with Release Times and Deadlines on ILP Processors.	RTCSA	2006	DBLP DOI BibTeX RDF
37	Ozcan Ozturk 0001, Mahmut T. Kandemir, Suleyman Tosun	An ILP based approach to address code generation for digital signal processors.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	code generation, DSP, integer linear programming
37	Nuno A. Fonseca, Fernando M. A. Silva, Vítor Santos Costa, Rui Camacho	A pipelined data-parallel algorithm for ILP.	CLUSTER	2005	DBLP DOI BibTeX RDF
37	Sebastian Winkel	Exploring the Performance Potential of Itanium® Processors with ILP-based Scheduling.	CGO	2004	DBLP DOI BibTeX RDF
37	Michael Bedford Taylor, Walter Lee, Saman P. Amarasinghe, Anant Agarwal	Scalar Operand Networks: On-Chip Interconnect for ILP in Partitioned Architecture.	HPCA	2003	DBLP DOI BibTeX RDF
37	R. Achutharaman, R. Govindarajan, G. Hariprakash, Amos Omondi	Exploiting Java-ILP on a Simultaneous Multi-Trace Instruction Issue (SMTI) Processor.	IPDPS	2003	DBLP DOI BibTeX RDF
37	Christopher J. Hughes, Vijay S. Pai, Parthasarathy Ranganathan, Sarita V. Adve	RSIM: Simulating Shared-Memory Multiprocessors with ILP Processors.	Computer	2002	DBLP DOI BibTeX RDF
37	Arno J. Knobbe, Arno Siebes, Hendrik Blockeel, Danïel van der Wallen	Multi-Relational Data Mining, Using UML for ILP.	PKDD	2000	DBLP DOI BibTeX RDF
37	Markus Junker 0002, Michael Sintek, Matthias Rink	Learning for Text Categorization and Information Extraction with ILP.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
37	Claire Nedellec	Corpus-Based Learning of Semantic Relations by the ILP System, Asium.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
37	Murthy Durbhakula, Vijay S. Pai, Sarita V. Adve	Improving the Accuracy vs. Speed Tradeoff for Simulating Shared-Memory Multiprocessors with ILP Processors.	HPCA	1999	DBLP DOI BibTeX RDF
37	Sriram Vajapeyam, P. J. Joseph, Tulika Mitra	Dynamic Vectorization: A Mechanism for Exploiting Far-Flung ILP in Ordinary Programs.	ISCA	1999	DBLP DOI BibTeX RDF
37	Jin-Tai Yan	An Optimal ILP Formulation for Minimixing the Number of Feedthrough Cells in Standard Cell Placement.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF
37	Samit Chaudhuri, Robert A. Walker 0001, J. E. Mitchell	Analyzing and exploiting the structure of the constraints in the ILP approach to the scheduling problem.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
36	Arunita Jaekel, Ataul Bari, Ying Chen 0003, Subir Bandyopadhyay	New Techniques for Efficient Traffic Grooming in WDM Mesh Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
36	Daryoush Habibi, Viet Q. Phung, Hoang Nam Nguyen	Minimizing the Number of Constraints for Shared Backup Path Protection (SBPP) in Shared Risk Link Group (SRLG) Optical Mesh Networks.	ICON	2007	DBLP DOI BibTeX RDF
36	Mongkol Ekpanyapong, Michael B. Healy, Sung Kyu Lim	Profile-Driven Instruction Mapping for Dataflow Architectures.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
36	António Morgado 0001, Paulo J. Matos, Vasco M. Manquinho, João Marques-Silva 0001	Counting Models in Integer Domains.	SAT	2006	DBLP DOI BibTeX RDF
36	Fadi A. Aloul, Assim Sagahyroon	Estimation of the weighted maximum switching activity in combinational CMOS circuits.	ISCAS	2006	DBLP DOI BibTeX RDF
36	James Laudon	Performance/Watt: the new server focus.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF
36	Peter Geibel, Fritz Wysotzki	Graphbasierte Lernverfahren für relationale Daten.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Künstliche Intelligenz, Maschinelles Lernen, Graphen, Induktive Logische Programmierung, Entscheidungsbaumverfahren, Subsumtion, LGG, Knowledge Discovery in Databases
36	Peter A. Flach	From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
36	Vijay S. Pai, Parthasarathy Ranganathan, Sarita V. Adve	The Impact of Instruction-Level Parallelism on Multiprocessor Performance and Simulation Methodology.	HPCA	1997	DBLP DOI BibTeX RDF
36	Torsten Braun, Christophe Diot	Protocol Implementation Using Integrated Layer Processing.	SIGCOMM	1995	DBLP DOI BibTeX RDF
33	Yabing Zhang, Junsheng Zhou, Shujian Huang, Jiajun Chen	Combining ILP and MLN for Coreference Resolution.	IALP	2009	DBLP DOI BibTeX RDF	MLN, ILP, coreference resolution
33	Han Bin Kim, Dong Sam Ha, Takeshi Takahashi 0003	On ILP Formulations for Built-In Self-Testable Data Path Synthesis.	DAC	1999	DBLP DOI BibTeX RDF	high-level BIST synthesis, built-in self-test, BIST, ILP
32	Stephen H. Muggleton, Alireza Tamaddoni-Nezhad (eds.)	Inductive Logic Programming - 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings	ILP	2024	DBLP DOI BibTeX RDF
32	Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese (eds.)	Inductive Logic Programming - 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings	ILP	2023	DBLP DOI BibTeX RDF
32	Takeru Isobe, Katsumi Inoue	Learning Strategies of Inductive Logic Programming Using Reinforcement Learning.	ILP	2023	DBLP DOI BibTeX RDF
32	Kilian Rückschloß, Felix Weitkämper	What Do Counterfactuals Say About the World? Reconstructing Probabilistic Logic Programs from Answers to "What If?" Queries.	ILP	2023	DBLP DOI BibTeX RDF
32	Felix Weitkämper, Dmitriy Ravdin, Ramona Fabry	Statistical Relational Structure Learning with Scaled Weight Parameters.	ILP	2023	DBLP DOI BibTeX RDF
32	Damiano Azzolini	A Constrained Optimization Approach to Set the Parameters of Probabilistic Answer Set Programs.	ILP	2023	DBLP DOI BibTeX RDF
32	Dany Varghese, Roman Bauer 0001, Alireza Tamaddoni-Nezhad	Few-Shot Learning of Diagnostic Rules for Neurodegenerative Diseases Using Inductive Logic Programming.	ILP	2023	DBLP DOI BibTeX RDF
32	Elisabetta Gentili, Alice Bizzarri, Damiano Azzolini, Riccardo Zese, Fabrizio Riguzzi	Regularization in Probabilistic Inductive Logic Programming.	ILP	2023	DBLP DOI BibTeX RDF
32	Youssef Mahmoud Youssef, Martin E. Müller	A Review of Inductive Logic Programming Applications for Robotic Systems.	ILP	2023	DBLP DOI BibTeX RDF
32	Sota Moriyama, Koji Watanabe, Katsumi Inoue	GNN Based Extraction of Minimal Unsatisfiable Subsets.	ILP	2023	DBLP DOI BibTeX RDF
32	Daniel Cyrus, James Trewern, Alireza Tamaddoni-Nezhad	Meta-interpretive Learning from Fractal Images.	ILP	2023	DBLP DOI BibTeX RDF
32	Arne Vermeulen, Robin Manhaeve, Giuseppe Marra	An Experimental Overview of Neural-Symbolic Systems.	ILP	2023	DBLP DOI BibTeX RDF
32	Thais Luca, Aline Paes, Gerson Zaverucha	Select First, Transfer Later: Choosing Proper Datasets for Statistical Relational Transfer Learning.	ILP	2023	DBLP DOI BibTeX RDF
32	Nikos Katzouris, Alexander Artikis (eds.)	Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings	ILP	2022	DBLP DOI BibTeX RDF
32	Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi	Learning the Parameters of Probabilistic Answer Set Programs.	ILP	2022	DBLP DOI BibTeX RDF
32	Felix Weitkämper	Functional Lifted Bayesian Networks: Statistical Relational Learning and Reasoning with Relative Frequencies.	ILP	2022	DBLP DOI BibTeX RDF
32	Nikos Katzouris, Georgios Paliouras	Learning Automata-Based Complex Event Patterns in Answer Set Programming.	ILP	2022	DBLP DOI BibTeX RDF
32	Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue	Diagnosis of Event Sequences with LFIT.	ILP	2022	DBLP DOI BibTeX RDF
32	Bettina Finzel, Simon P. Kuhn, David E. Tafler, Ute Schmid	Explaining with Attribute-Based and Relational Near Misses: An Interpretable Approach to Distinguishing Facial Expressions of Pain and Disgust.	ILP	2022	DBLP DOI BibTeX RDF
32	Thais Luca, Aline Paes, Gerson Zaverucha	Combining Word Embeddings-Based Similarity Measures for Transfer Learning Across Relational Domains.	ILP	2022	DBLP DOI BibTeX RDF
32	Aditya Challa, Ashwin Srinivasan 0001, Michael Bain 0001, Gautam Shroff	A Program-Synthesis Challenge for ARC-Like Tasks.	ILP	2022	DBLP DOI BibTeX RDF
32	Pat Langley	Learning Hierarchical Problem Networks for Knowledge-Based Planning.	ILP	2022	DBLP DOI BibTeX RDF
32	Maurizio Proietti, Francesca Toni	Learning Assumption-Based Argumentation Frameworks.	ILP	2022	DBLP DOI BibTeX RDF
32	Verena Blaschke, Thora Daneyko, Jekaterina Kaparina, Zhuge Gao, Johannes Dellert	Navigable Atom-Rule Interactions in PSL Models Enhanced by Rule Verbalizations, with an Application to Etymological Inference.	ILP	2022	DBLP DOI BibTeX RDF
32	Dany Varghese, Didac Barroso-Bergada, David A. Bohan, Alireza Tamaddoni-Nezhad	Efficient Abductive Learning of Microbial Interactions Using Meta Inverse Entailment.	ILP	2022	DBLP DOI BibTeX RDF
32	Victor Guimarães 0001, Vítor Santos Costa	Online Learning of Logic Based Neural Network Structures.	ILP	2021	DBLP DOI BibTeX RDF
32	Leticia Freire de Figueiredo, Aline Paes, Gerson Zaverucha	Transfer Learning for Boosted Relational Dependency Networks Through Genetic Algorithm.	ILP	2021	DBLP DOI BibTeX RDF
32	Cristina Cornelio, Veronika Thost	Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning.	ILP	2021	DBLP DOI BibTeX RDF
32	Hien D. Nguyen 0002, Chiaki Sakama	Feature Learning by Least Generalization.	ILP	2021	DBLP DOI BibTeX RDF
32	Oliver Ray	Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus.	ILP	2021	DBLP DOI BibTeX RDF
32	Devendra Singh Dhami, Siwen Yan, Gautam Kunapuli, Sriraam Natarajan	Non-parametric Learning of Embeddings for Relational Data Using Gaifman Locality Theorem.	ILP	2021	DBLP DOI BibTeX RDF
32	Yin Jun Phua, Katsumi Inoue	Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance.	ILP	2021	DBLP DOI BibTeX RDF
32	Thais Luca, Aline Paes, Gerson Zaverucha	Mapping Across Relational Domains for Transfer Learning with Word Embeddings-Based Similarity.	ILP	2021	DBLP DOI BibTeX RDF
32	Dany Varghese, Roman Bauer 0001, Daniel Baxter-Beard, Stephen H. Muggleton, Alireza Tamaddoni-Nezhad	Human-Like Rule Learning from Images Using One-Shot Hypothesis Derivation.	ILP	2021	DBLP DOI BibTeX RDF
32	Patrick Westphal, Sahar Vahdati, Jens Lehmann 0001	A Simulated Annealing Meta-heuristic for Concept Learning in Description Logics.	ILP	2021	DBLP DOI BibTeX RDF
32	Claudia d'Amato, Nicola Flavio Quatraro, Nicola Fanizzi	Embedding Models for Knowledge Graphs Induced by Clusters of Relations and Background Knowledge.	ILP	2021	DBLP DOI BibTeX RDF
32	Florian Andreas Marwitz, Tanya Braun, Ralf Möller 0001	A First Step Towards Even More Sparse Encodings of Probability Distributions.	ILP	2021	DBLP DOI BibTeX RDF
32	Jáchym Barvínek, Timothy van Bremen, Yuyi Wang 0001, Filip Zelezný, Ondrej Kuzelka	Automatic Conjecturing of P-Recursions Using Lifted Inference.	ILP	2021	DBLP DOI BibTeX RDF
32	Fabrizio Ventola, Devendra Singh Dhami, Kristian Kersting	Generative Clausal Networks: Relational Decision Trees as Probabilistic Circuits.	ILP	2021	DBLP DOI BibTeX RDF
32	Rasmus Larsen 0001, Mikkel Nørgaard Schmidt	Programmatic Policy Extraction by Iterative Local Search.	ILP	2021	DBLP DOI BibTeX RDF
32	Leopoldo E. Bertossi, Gabriela Reyes	Answer-Set Programs for Reasoning About Counterfactual Interventions and Responsibility Scores for Classification.	ILP	2021	DBLP DOI BibTeX RDF
32	Tirtharaj Dash, Ashwin Srinivasan 0001, Lovekesh Vig, Arijit Roy	Using Domain-Knowledge to Assist Lead Discovery in Early-Stage Drug Design.	ILP	2021	DBLP DOI BibTeX RDF
32	Dimitar Kazakov, Can Erten (eds.)	Inductive Logic Programming - 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings	ILP	2020	DBLP DOI BibTeX RDF
32	Navdeep Kaur, Gautam Kunapuli, Saket Joshi, Kristian Kersting, Sriraam Natarajan	Neural Networks for Relational Data.	ILP	2019	DBLP DOI BibTeX RDF
32	Tatiana Sciammarella, Gerson Zaverucha	Weight Your Words: The Effect of Different Weighting Schemes on Wordification Performance.	ILP	2019	DBLP DOI BibTeX RDF
32	Yingbing Hua, Björn Hein	Rapid Restart Hill Climbing for Learning Description Logic Concepts.	ILP	2019	DBLP DOI BibTeX RDF
32	Jonas Schouterden, Jesse Davis, Hendrik Blockeel	LazyBum: Decision Tree Learning Using Lazy Propositionalization.	ILP	2019	DBLP DOI BibTeX RDF
32	Sándor Bartha, James Cheney	Towards Meta-interpretive Learning of Programming Language Semantics.	ILP	2019	DBLP DOI BibTeX RDF
32	Francesco Giannini, Giuseppe Marra, Michelangelo Diligenti, Marco Maggini, Marco Gori	On the Relation Between Loss Functions and T-Norms.	ILP	2019	DBLP DOI BibTeX RDF
32	Stefanie Speichert, Vaishak Belle	Learning Probabilistic Logic Programs over Continuous Data.	ILP	2019	DBLP DOI BibTeX RDF
32	Yin Jun Phua, Katsumi Inoue	Learning Logic Programs from Noisy State Transition Data.	ILP	2019	DBLP DOI BibTeX RDF
32	Hien D. Nguyen 0002, Chiaki Sakama	A New Algorithm for Computing Least Generalization of a Set of Atoms.	ILP	2019	DBLP DOI BibTeX RDF
32	Nicolas Lachiche, Christel Vrain (eds.)	Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers	ILP	2018	DBLP DOI BibTeX RDF
32	Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese (eds.)	Inductive Logic Programming - 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings	ILP	2018	DBLP DOI BibTeX RDF
32	Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue	Learning Dynamics with Synchronous, Asynchronous and General Semantics.	ILP	2018	DBLP DOI BibTeX RDF
32	Tirtharaj Dash, Ashwin Srinivasan 0001, Lovekesh Vig, Oghenejokpeme I. Orhobor, Ross D. King	Large-Scale Assessment of Deep Relational Machines.	ILP	2018	DBLP DOI BibTeX RDF
32	Matthias Nickles	Sampling-Based SAT/ASP Multi-model Optimization as a Framework for Probabilistic Inference.	ILP	2018	DBLP DOI BibTeX RDF
32	Blaz Skrlj, Jan Kralj, Nada Lavrac	Targeted End-to-End Knowledge Graph Decomposition.	ILP	2018	DBLP DOI BibTeX RDF
32	Andrew Cropper, Sophie Tourret	Derivation Reduction of Metarules in Meta-interpretive Learning.	ILP	2018	DBLP DOI BibTeX RDF
32	Michael Siebers, Ute Schmid	Was the Year 2000 a Leap Year? Step-Wise Narrowing Theories with Metagol.	ILP	2018	DBLP DOI BibTeX RDF
32	Céline Hocquette, Stephen H. Muggleton	How Much Can Experimental Cost Be Reduced in Active Learning of Agent Strategies?	ILP	2018	DBLP DOI BibTeX RDF
32	Evgeny Kharlamov, Ognjen Savkovic, Martin Ringsquandl, Guohui Xiao 0001, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks 0001, Thomas A. Runkler	Diagnostics of Trains with Semantic Diagnostics Rules.	ILP	2018	DBLP DOI BibTeX RDF
32	James Cussens, Alessandra Russo (eds.)	Inductive Logic Programming - 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers	ILP	2017	DBLP DOI BibTeX RDF
32	Lovekesh Vig, Ashwin Srinivasan 0001, Michael Bain 0001, Ankit Verma	An Investigation into the Role of Domain-Knowledge on the Use of Embeddings.	ILP	2017	DBLP DOI BibTeX RDF
32	Jessa Bekker, Jesse Davis	Positive and Unlabeled Relational Classification Through Label Frequency Estimation.	ILP	2017	DBLP DOI BibTeX RDF
32	Laura Antanas, Anton Dries, Plinio Moreno, Luc De Raedt	Relational Affordance Learning for Task-Dependent Robot Grasping.	ILP	2017	DBLP DOI BibTeX RDF