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 |
|