Search results for "ILP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Fábio Gagliardi Cozman, Denis Deratani Mauá	The Structure and Complexity of Credal Semantics.	PLP@ILP	2016	DBLP BibTeX RDF
31	Christian Theil Have, Emil Vincent Appel, Jette Bork-Jensen, Ole Torp Lassen	Sampling Random Bioinformatics Puzzles using Adaptive Probability Distributions.	PLP@ILP	2016	DBLP BibTeX RDF
31	Arjen Hommersom, Marcos L. P. Bueno	Toward Computing Conflict-Based Diagnoses in Probabilistic Logic Programming.	PLP@ILP	2016	DBLP BibTeX RDF
31	Marco Alberti 0001, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese	Probabilistic Constraint Logic Theories.	PLP@ILP	2016	DBLP BibTeX RDF
31	Nicos Angelopoulos	Notes on the Implementation of FAM.	PLP@ILP	2016	DBLP BibTeX RDF
31	Atsushi Matsumoto, Katsutoshi Kanamori, Kazuyuki Kuchitsu, Hayato Ohwada	Extracting the Common Structure of Compounds to Induce Plant Immunity Activation using ILP.	ILP (Late Breaking Papers)	2015	DBLP BibTeX RDF
31	Stephen H. Muggleton, Hiroaki Watanabe (eds.)	Latest Advances in Inductive Logic Programming, ILP 2011, Late Breaking Papers, Windsor Great Park, UK, July 31 - August 3, 2011.	ILP (Late Breaking Papers)	2014	DBLP DOI BibTeX RDF
31	Andreas Kirkeby Fidjeland, Wayne Luk, Stephen H. Muggleton	Customisable Multi-Processor Acceleration of Inductive Logic Programming.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Takashi Yamada, Takayoshi Shoudai	Graph Contraction Pattern Matching for Graphs of Bounded Treewidth.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Bogdan Moldovan, Martijn van Otterlo, Luc De Raedt, Plinio Moreno, José Santos-Victor	Statistical Relational Learning of Object Affordances for Robotic Manipulation.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Jan Van Haaren, Guy Van den Broeck	Relational Learning for Football-Related Predictions.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Yoshihisa Shiina, Hayato Ohwada	Using Machine-Generated Soft Constraints for Roster Problems.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Man Zhu, Zhiqiang Gao	Learning from Linked Data by Markov Logic.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Waleed Alsanie, James Cussens	Learning a Generative Failure-Free PRISM Clause.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Robert J. Henderson, Stephen H. Muggleton	Automatic Invention of Functional Abstractions.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Beau Piccart, Hendrik Blockeel, Andy Georges, Lieven Eeckhout	Predictive Learning in Two-Way Datasets.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue	Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Filip Zelezný	Satisfiability Machines.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Mahito Sugiyama, Kentaro Imajo, Keisuke Otaki, Akihiro Yamamoto	Discovering Ligands for TRP Ion Channels Using Formal Concept Analysis.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Fabrizio Riguzzi, Terrance Swift	The PITA System for Logical-Probabilistic Inference.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Ekaterina Komendantskaya	Machine Learning Coalgebraic Proofs.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Jianmin Ji, Xiaoping Chen	Induction in Nonmonotonic Causal Theories for a Domestic Service Robot.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Nicola Di Mauro, Teresa Maria Altomare Basile, Stefano Ferilli, Floriana Esposito	mLynx: Relational Mutual Information.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Anze Vavpetic, Nada Lavrac	Using Ontologies in Semantic Data Mining with g-SEGS and Aleph.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Niels Pahlavi, Stephen H. Muggleton	Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	Andreas Markitanis, Domenico Corapi, Alessandra Russo, Emil C. Lupu	Learning User Behaviours in Real Mobile Domains.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
31	James Cussens, Alan M. Frisch (eds.)	Inductive Logic Programming, 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000, Proceedings	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Cèsar Ferri Ramirez, José Hernández-Orallo, M. José Ramírez-Quintana	Universal Learning of Classes from Sparse and Non-uniform Evidence.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Jan Ramon, Luc Dehaspe	Using Belief Networks to Neutralize Known Dependencies in Conceptual Clustering.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Frédéric Moal, Christel Vrain	Composition of Biasses of Inductive Logic Programming.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Hilan Bensusan, Christophe G. Giraud-Carrier, Claire Julia Kennedy	A Higher-order Approach to Meta-learning .	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Kristian Kersting, Luc De Raedt	Bayesian Logic Programs.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Koichi Furukawa, Tomonobu Ozaki	On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Stefan Kramer 0001, Eibe Frank	Bottom-Up Propositionalization.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi	An Efficient Hypothesis Search Algorithm Based on Best-Bound Search.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Heather Maclaren	Selective Inductive Logic Programming.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Hiroki Arimura, Hiroshi Sakamoto, Setsuo Arikawa	Learning Term Rewriting Systems from Entailment .	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Juan José Rodríguez, Carlos J. Alonso, Henrik Boström	Learning First Order Logic Time Series Classifiers.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki	A Proposal for Inductive Learning Agent Using First-Order Logic.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Jordi Alvarez	A Formal Framework for Theory Learning Using Description Logics.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Peter A. Flach, Nicolas Lachiche	Decomposing Probability Distributions on Structured Individuals.	ILP Work-in-progress reports	2000	DBLP BibTeX RDF
31	Toshiyuki Ito, Kentaro Ono, Mayumi Ichikawa, Yuichi Okuyama, Kenichi Kuroda	Reconfigurable Instruction-Level Parallel Processor Architecture.	Asia-Pacific Computer Systems Architecture Conference	2003	DBLP DOI BibTeX RDF	ILP Processor, PCA, dynamical reconfigurability, VLIW, self-reconfigurability
30	Bruno Morais, Jinghan Zhang, Gunar Schirner	TSAR-ILP: Tile-Based, Synchronization-AwaRe ILP Allocating Heterogeneous Platforms for Streaming Applications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
30	Petra Wolf 0002	On the decidability of finding a positive ILP-instance in a regular set of ILP-instances.	Acta Informatica	2022	DBLP DOI BibTeX RDF
30	Petra Wolf 0002	On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances.	DCFS	2019	DBLP DOI BibTeX RDF
30	Syed Zahidi, Fadi A. Aloul, Assim Sagahyroon, Wassim El-Hajj	Using SAT & ILP techniques to solve enhanced ILP formulations of the Clustering Problem in MANETS.	IWCMC	2012	DBLP DOI BibTeX RDF
30	Bo Liu	CTGE-ILP: Correlative Term Graph-Based Extended ILP.	SKG	2007	DBLP DOI BibTeX RDF
30	Soo-Mook Moon, Kemal Ebcioglu	The Performance Impact of Exploiting Branch ILP with Tree Representation of ILP Code.	Comput. J.	1998	DBLP DOI BibTeX RDF
30	Alípio Jorge, Pavel Brazdil	Integrity Constraints in ILP Using a Monte Carlo Approach.	Inductive Logic Programming Workshop	1996	DBLP DOI BibTeX RDF
30	M.-Elisabeth Goncalves	Handling Quantifiers in ILP.	Inductive Logic Programming Workshop	1996	DBLP DOI BibTeX RDF
30	Saso Dzeroski, Steffen Schulze-Kremer, Karsten R. Heidtke, Karsten Siems, Dietrich Wettschereck	Applying ILP to Diterpene Structure Elucidation from 13C NMR Spectra.	Inductive Logic Programming Workshop	1996	DBLP DOI BibTeX RDF
30	Érick Alphonse, Aomar Osmani	On the connection between the phase transition of the covering test and the learning success rate in ILP.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Plateau phenomena, Near-miss examples, Heuristic search, Inductive logic programming, Phase transition
30	Jason Wu, John Williams 0004, Neil W. Bergmann	An ILP formulation for architectural synthesis and application mapping on FPGA-based hybrid multi-processor SOC.	FPL	2008	DBLP DOI BibTeX RDF
30	Haris Javaid, Sri Parameswaran	Synthesis of heterogeneous pipelined multiprocessor systems using ILP: jpeg case study.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	design space exploration, integer linear programming, MPSoCs
30	Ozcan Ozturk 0001, Mahmut T. Kandemir, Seung Woo Son 0001	An ilp based approach to reducing energy consumption in nocbased CMPS.	ISLPED	2007	DBLP DOI BibTeX RDF	power aware compiler and operating system design
30	Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa	New Code Generation Algorithm for QueueCore - An Embedded Processor with High ILP.	PDCAT	2007	DBLP DOI BibTeX RDF
30	Filip Zelezný, Ashwin Srinivasan 0001, C. David Page Jr.	Randomised restarted search in ILP.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Monte carlo study, Inductive logic programming, Randomized search
30	Saraju P. Mohanty, N. Ranganathan, Sunil K. Chappidi	ILP models for simultaneous energy and transient power minimization during behavioral synthesis.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	average power, cycle difference power, datapath scheduling, dynamic frequency clocking, multicycling, multiple supply voltages, peak power differential, Peak power
30	Joseph J. Sharkey, Dmitry Ponomarev 0001	Balancing ILP and TLP in SMT Architectures through Out-of-Order Instruction Dispatch.	ICPP	2006	DBLP DOI BibTeX RDF
30	Minsik Cho, David Z. Pan	BoxRouter: a new global router based on box expansion and progressive ILP.	DAC	2006	DBLP DOI BibTeX RDF	VLSI, congestion, global routing
30	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Synchronization verification in system-level design with ILP solvers.	MEMOCODE	2005	DBLP DOI BibTeX RDF
30	Theo Ungerer, Josep Lluís Larriba-Pey, Kevin Skadron, Pedro Trancoso	Topic 7 - Parallel Computer Architecture and ILP.	Euro-Par	2005	DBLP DOI BibTeX RDF
30	Thanikesavan Sivanthi, Ulrich Killat	Static Scheduling of Periodic Tasks in a Decentralized Real-time Control System Using an ILP.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
30	Zsolt Lakatos	ILP Based Evaluation of Separate Wavelength Pool (Swap) Strategy.	OpNeTec	2004	DBLP DOI BibTeX RDF
30	Yash P. Aneja, Arunita Jaekel, Subir Bandyopadhyay	An Improved ILP Formulation for Path Protection in WDM Networks.	HSNMC	2004	DBLP DOI BibTeX RDF
30	Donald Chai, Andreas Kuehlmann	Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation.	ICCD	2004	DBLP DOI BibTeX RDF
30	Guilin Chen, Ozcan Ozturk 0001, Mahmut T. Kandemir	An ILP-Based Approach to Locality Optimization.	LCPC	2004	DBLP DOI BibTeX RDF
30	Krishnan Srinivasan, Karam S. Chatha	An ILP Formulation for System Level Throughput and Power Optimization in Multiprocessor SoC Architectures.	VLSI Design	2004	DBLP DOI BibTeX RDF
30	Satish Pillai, Margarida F. Jacome	Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines: Predication, Speculation and Modulo Scheduling.	DATE	2003	DBLP DOI BibTeX RDF
30	Martha A. Centeno, Ronald E. Giachetti, Richard J. Linn, Abdullah M. Ismail	Emergency departments II: a simulation-ilp based tool for scheduling ER staff.	WSC	2003	DBLP DOI BibTeX RDF
30	Feng Gao 0017, John P. Hayes	ILP-based optimization of sequential circuits for low power.	ISLPED	2003	DBLP DOI BibTeX RDF	low power, finite-state machine, decomposition, integer linear programming
30	Krishnan Kailas, Manoj Franklin, Kemal Ebcioglu	A Register File Architecture and Compilation Scheme for Clustered ILP Processors.	Euro-Par	2002	DBLP DOI BibTeX RDF
30	Svetla Boytcheva	ILP Techniques for Free-Text Input Processing.	AIMSA	2002	DBLP DOI BibTeX RDF	Free-text input, Natural Language Processing, Inductive Logic Programming
30	Krishnan Kailas, Kemal Ebcioglu, Ashok K. Agrawala	CARS: A New Code Generation Framework for Clustered ILP Processors.	HPCA	2001	DBLP DOI BibTeX RDF
30	Chunnian Liu, Ning Zhong 0001	Dealing with Imperfect Data by RS-ILP.	JSAI Workshops	2001	DBLP DOI BibTeX RDF
30	Rajeev Balasubramonian, Sandhya Dwarkadas, David H. Albonesi	Dynamically allocating processor resources between nearby and distant ILP.	ISCA	2001	DBLP DOI BibTeX RDF
30	Xiaogang Qiu, Michel Dubois 0001	Tolerating Late Memory Traps in ILP Processors.	ISCA	1999	DBLP DOI BibTeX RDF
30	Allen Leung, Krishna V. Palem, Amir Pnueli	A Fast Algorithm for Scheduling Time-Constrained Instructions on Processors with ILP.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Compiler-optimizations, instruction level parallelism, instruction scheduling, embedded applications
30	Saso Dzeroski, Nico Jacobs, Martín Molina, Carlos Moure	ILP Experiments in Detecting Traffic Problems.	ECML	1998	DBLP DOI BibTeX RDF
30	Tetsuya Hara, Hideki Ando, Chikako Nakanishi, Masao Nakaya	Performance Comparison of ILP Machines with Cycle Time Evaluation.	ISCA	1996	DBLP DOI BibTeX RDF
30	Vijay S. Pai, Parthasarathy Ranganathan, Sarita V. Adve, Tracy Harton	An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors.	ASPLOS	1996	DBLP DOI BibTeX RDF
29	Wei-Bung Wang, Tao Jiang 0001	Efficient Inference of Haplotypes from Genotypes on a Pedigree with Mutations and Missing Alleles (Extented Abstract).	CPM	2009	DBLP DOI BibTeX RDF
29	Haris Javaid, Sri Parameswaran	A design flow for application specific heterogeneous pipelined multiprocessor systems.	DAC	2009	DBLP DOI BibTeX RDF	design space exploration, integer linear programming, MPSoCs
29	Markus Chimani, Carsten Gutwenger, Mathias Jansen, Karsten Klein 0001, Petra Mutzel	Computing Maximum C-Planar Subgraphs.	GD	2008	DBLP DOI BibTeX RDF
29	Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich, Richard Regler, Bardo Lang	Concurrent topology and routing optimization in automotive network integration.	DAC	2008	DBLP DOI BibTeX RDF	network integration, optimization, automotive
29	Matteo Fischetti, Andrea Lodi 0001	Optimizing over the first Chvátal closure.	Math. Program.	2007	DBLP DOI BibTeX RDF	Separation problems, Chvátal-Gomory cuts, Integer programs, Computational analysis
29	Stratos Papadomanolakis, Anastassia Ailamaki	An Integer Linear Programming Approach to Database Design.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
29	Ying Wang, Tee Hiang Cheng, Maode Ma	Priority and Maximum Revenue based Routing and Wavelength Assignment for All-optical WDM Networks.	RIVF	2007	DBLP DOI BibTeX RDF
29	Arunita Jaekel, Ying Chen 0003	Demand allocation without wavelength conversion under a sliding scheduled traffic model.	BROADNETS	2007	DBLP DOI BibTeX RDF
29	Dan Gusfield, Yelena Frid, Daniel G. Brown 0001	Integer Programming Formulations and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data.	COCOON	2007	DBLP DOI BibTeX RDF
29	Andrzej Bednarski, Christoph W. Kessler	Optimal Integrated VLIW Code Generation with Integer Linear Programming.	Euro-Par	2006	DBLP DOI BibTeX RDF
29	Saso Dzeroski	From Inductive Logic Programming to Relational Data Mining.	JELIA	2006	DBLP DOI BibTeX RDF
29	Chiaki Sakama	Induction from answer sets in nonmonotonic logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	nonmonotonic logic programs, induction, Answer sets
29	Ryan Anderson, Nick G. Kingsbury, Julien Fauqueur	Coarse-level object recognition using interlevel products of complex wavelets.	ICIP (1)	2005	DBLP DOI BibTeX RDF
29	Matteo Fischetti, Andrea Lodi 0001	Optimizing over the First Chvàtal Closure.	IPCO	2005	DBLP DOI BibTeX RDF	separation problems, Chvàtal-Gomory cuts, Integer Programs, computational analysis
29	Cholwich Nattee, Sukree Sinthupinyo, Masayuki Numao, Takashi Okada	Inductive Logic Programming for Structure-Activity Relationship Studies on Large Scale Data.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
29	Hamed Fatemi, Henk Corporaal, Twan Basten, Richard P. Kleihorst, Pieter P. Jonker	Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures.	ACIVS	2005	DBLP DOI BibTeX RDF
29	Ricardo Rocha 0001, Nuno A. Fonseca, Vítor Santos Costa	On Applying Tabling to Inductive Logic Programming.	ECML	2005	DBLP DOI BibTeX RDF
29	Érick Alphonse, Stan Matwin	Filtering Multi-Instance Problems to Reduce Dimensionality in Relational Learning.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	relational learning, feature subset selection, propositionalization
29	Alexessander Alves, Rui Camacho, Eugénio C. Oliveira	Discovery of Functional Relationships in Multi-Relational Data using Inductive Logic Programming.	ICDM	2004	DBLP DOI BibTeX RDF