Search results for "ALP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Maurizio Gabbrielli, Maria Chiara Meo	Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns.	ALP	1992	DBLP DOI BibTeX RDF
21	Thérèse Hardin	Eta-conversion for the Languages of Explicit Substitutions.	ALP	1992	DBLP DOI BibTeX RDF
21	Alexandre Boudet, Evelyne Contejean	On n-Syntactic Equational Theories.	ALP	1992	DBLP DOI BibTeX RDF
21	José Meseguer 0001	Multiparadigm Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF
21	Aart Middeldorp, Erik Hamoen	Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract).	ALP	1992	DBLP DOI BibTeX RDF
21	Olav Lysne	Proof by Consistency in Constructive Systems with Final Algebra Semantics.	ALP	1992	DBLP DOI BibTeX RDF
21	Andy King, Paul Soper	Serialisation Analysis of Concurrent Logic Programs.	ALP	1992	DBLP DOI BibTeX RDF
21	Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher	Oracle Semantics for Prolog.	ALP	1992	DBLP DOI BibTeX RDF
21	Alessandro Giovini, Franco Morando, Antonio Capani	Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems.	ALP	1992	DBLP DOI BibTeX RDF
21	Bernhard Gramlich	Generalized Sufficient Conditions for Modular Termination of Rewriting.	ALP	1992	DBLP DOI BibTeX RDF
21	Nachum Dershowitz, Naomi Lindenstrauss	An Abstract Concurrent Machine for Rewriting.	ALP	1990	DBLP DOI BibTeX RDF
21	Maurizio Gabbrielli, Giorgio Levi	Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.	ALP	1990	DBLP DOI BibTeX RDF
21	Zhenyu Qian	Higher-Order Order-Sorted Algebras.	ALP	1990	DBLP DOI BibTeX RDF
21	Jordi Farrés-Casals	Proving Correctness wrt Specifications with Hidden Parts.	ALP	1990	DBLP DOI BibTeX RDF
21	Françoise Debart, Patrice Enjalbert, Madeleine Lescot	Multi-Modal Logic Programming using Equational and Order-Sorted Logic.	ALP	1990	DBLP DOI BibTeX RDF	Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
21	Dieter Hofbauer	Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths.	ALP	1990	DBLP DOI BibTeX RDF
21	Nachum Dershowitz, Subrata Mitra, G. Sivakumar	Equation Solving in Conditional AC-Theories.	ALP	1990	DBLP DOI BibTeX RDF
21	Helmut Simonis, Mehmet Dincbas	Propositional Calculus Problems in CHIP.	ALP	1990	DBLP DOI BibTeX RDF
21	Michael Hanus	Logic Programs with Equational Type Specifications (Extended Abstract).	ALP	1990	DBLP DOI BibTeX RDF
21	Patrick Saint-Dizier	On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic.	ALP	1990	DBLP DOI BibTeX RDF
21	Kanchana Kanchanasut, Peter J. Stuckey	Eliminating Negation from Normal Logic Programs.	ALP	1990	DBLP DOI BibTeX RDF
21	Aïda Batarekh	Fixpoint Techniques for Non-Monotone Maps.	ALP	1990	DBLP DOI BibTeX RDF
21	Pierre Lescanne	Implementations of Completion by Transition Rules + Control: ORME.	ALP	1990	DBLP DOI BibTeX RDF
21	Reinhard Bündgen	Applying Term Rewriting Methods to Finite Groups.	ALP	1990	DBLP DOI BibTeX RDF
21	Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo	Lazy Narrowing in a Graph Machine.	ALP	1990	DBLP DOI BibTeX RDF
21	François Bronsard, Uday S. Reddy	Axiomatization of a Functional Logic Language.	ALP	1990	DBLP DOI BibTeX RDF
21	H. R. Walters	Hybrid Implementations of Algebraic Specifications.	ALP	1990	DBLP DOI BibTeX RDF
21	Joachim Steinbach	AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering.	ALP	1990	DBLP DOI BibTeX RDF
21	Phan Minh Dung	On the strong completion of logic programs.	ALP	1990	DBLP DOI BibTeX RDF	predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models
21	Ke Li	Optimization of Rewriting and Complexity of Rewriting.	ALP	1990	DBLP DOI BibTeX RDF
21	Hélène Kirchner, Wolfgang Wechler (eds.)	Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings	ALP	1990	DBLP DOI BibTeX RDF
21	Jia Liang Han	Recursive Query Processing in Predicate-Goal Graph.	ALP	1990	DBLP DOI BibTeX RDF
21	Yuli Zhou, Robert Muller	Domain Theory for Nonmonotonic Functions.	ALP	1990	DBLP DOI BibTeX RDF
21	Taisuke Sato	An Equivalence Preserving First Order Unfold/fold Transformation System.	ALP	1990	DBLP DOI BibTeX RDF
21	Tien Huynh, Catherine Lassez, Jean-Louis Lassez	Fourier Algorithm Revisited.	ALP	1990	DBLP DOI BibTeX RDF
21	Joseph A. Goguen	Proving and Rewriting.	ALP	1990	DBLP DOI BibTeX RDF
21	Françoise Bellegarde	A Matching Process Modulo a Theory of Categorical Products.	ALP	1990	DBLP DOI BibTeX RDF
21	Elio Giovannetti	Narrowing and Resolution in Logic-Functional programming Languages (Abstract).	ALP	1988	DBLP DOI BibTeX RDF
21	Alexander Bockmayr	Narrowing with Built-In Theories.	ALP	1988	DBLP DOI BibTeX RDF
21	Gregory Kucherov	A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction.	ALP	1988	DBLP DOI BibTeX RDF
21	Christoph Beierle, Udo Pletat	Integrating Logic Programming and Equational Specification of Abstract Data Types.	ALP	1988	DBLP DOI BibTeX RDF
21	Jan A. Bergstra	ACP with Signals.	ALP	1988	DBLP DOI BibTeX RDF
21	Bernd I. Dahn	Boolean Valued Models and Incomplete Specifications.	ALP	1988	DBLP DOI BibTeX RDF
21	Hans-Joachim Goltz	Functional Data Term Models and Semantic Unification.	ALP	1988	DBLP DOI BibTeX RDF
21	Zoltán Fülöp 0001, Sándor Vágvölgyi	A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata.	ALP	1988	DBLP DOI BibTeX RDF
21	Uwe Wolter	Narrowing in Partial Conditional Equational Theories (Abstract).	ALP	1988	DBLP DOI BibTeX RDF
21	Klaus Drosten	Translating Algebraic Specifications to Prolog Programs: A Comparative Study.	ALP	1988	DBLP DOI BibTeX RDF
21	Laurent Fribourg	Functional Extensions to Prolog: Are they Needed?	ALP	1988	DBLP DOI BibTeX RDF
21	Heinrich Hußmann	Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting.	ALP	1988	DBLP DOI BibTeX RDF
21	George Dayantis	Types, Modularisation and Abstraction in Logic Programming.	ALP	1988	DBLP DOI BibTeX RDF
21	Dieter Hofbauer, Ralf-Detlef Kutsche	Proving Inductive Theorems Based on Term Rewriting Systems.	ALP	1988	DBLP DOI BibTeX RDF
21	Ana Pasztor	Nonstandard Logics of Recursive Programs and Denotational Semantics.	ALP	1988	DBLP DOI BibTeX RDF
21	Jan Grabowski, Pierre Lescanne, Wolfgang Wechler (eds.)	Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings	ALP	1988	DBLP DOI BibTeX RDF
21	Jia-Huai You	Solving Equations in an Equational Language.	ALP	1988	DBLP DOI BibTeX RDF
21	Gert Smolka	Logic Programming with Polymorphically Order-Sorted Types.	ALP	1988	DBLP DOI BibTeX RDF
21	Annie Foret	Rewrite Rule Systems for Modal Propositional Logic.	ALP	1988	DBLP DOI BibTeX RDF
21	Hubert Comon	An Effective Method for Handling Initial Algebras.	ALP	1988	DBLP DOI BibTeX RDF
21	Philippe Schnoebelen	Refined Compilation of Pattern-Matching for Functional Languages.	ALP	1988	DBLP DOI BibTeX RDF
21	Horst Hansen, Michael Löwe	Modular Algebraic Specifications.	ALP	1988	DBLP DOI BibTeX RDF
21	Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis	OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization.	ALP	1988	DBLP DOI BibTeX RDF
21	Wadoud Bousdira	A Completion Procedure for Hierarchical Conditional Rewriting Systems.	ALP	1988	DBLP DOI BibTeX RDF
21	Dongbo Liu, Deyi Li	Fuzzy Reasoning Based on F-Horn Clause Rules.	ALP	1988	DBLP DOI BibTeX RDF
21	Juan José Moreno-Navarro, Mario Rodríguez-Artalejo	BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing.	ALP	1988	DBLP DOI BibTeX RDF
21	Berthold Hoffmann, Detlef Plump	Jungle Evaluation for Efficient Term Rewriting.	ALP	1988	DBLP DOI BibTeX RDF
20	Toqeer Israr, Gregor von Bochmann	Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus.	NiM-ALP@MoDELS	2013	DBLP BibTeX RDF
20	Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov	Continual Verification of Non-Functional Properties in Cloud-Based Systems.	NiM-ALP@MoDELS	2013	DBLP BibTeX RDF
20	Simona Bernardi 0001, Marko Boskovic, José Merseguer (eds.)	Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013.	NiM-ALP@MoDELS	2013	DBLP BibTeX RDF
20	Martin Fleck, Luca Berardinelli, Philip Langer, Tanja Mayerhofer, Vittorio Cortellessa	Resource Contention Analysis of Cloud-based System through fUML-driven Model Execution.	NiM-ALP@MoDELS	2013	DBLP BibTeX RDF
20	Toqeer Israr, Gregor von Bochmann	Stochastic Performance Analysis of Distributed Activities.	NiM-ALP@MoDELS	2013	DBLP BibTeX RDF
20	Sinem Getir, André van Hoorn, Lars Grunske, Matthias Tichy	Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System.	NiM-ALP@MoDELS	2013	DBLP BibTeX RDF
20	Murat Kara, Nese Cakici Alp	Assessing the adoption of the Yavuz Battleship application in the mixed reality environment using the technology acceptance model.	Multim. Syst.	2024	DBLP DOI BibTeX RDF
20	Sait Alp, Rahim Dehkharghani, Taymaz Akan, Mohammad A. N. Bhuiyan	MOBRO: multi-objective battle royale optimizer.	J. Supercomput.	2024	DBLP DOI BibTeX RDF
20	Cihan Acar, Kuluhan Binici, Alp Tekirdag, Yan Wu 0002	Visual-Policy Learning Through Multi-Camera View to Single-Camera View Knowledge Distillation for Robot Manipulation Tasks.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
20	Ahmet Alp Kindiroglu, Ozgur Kara, Ogulcan Özdemir, Lale Akarun	Transfer Learning for Cross-dataset Isolated Sign Language Recognition in Under-Resourced Datasets.	CoRR	2024	DBLP DOI BibTeX RDF
20	Taymaz Akan, Sait Alp, Mohammad Alfrad Nobel Bhuiyan	ECGformer: Leveraging transformer for ECG heartbeat arrhythmia classification.	CoRR	2024	DBLP DOI BibTeX RDF
20	Taymaz Akan, Sait Alp, Mohammad A. N. Bhuiyan	Vision Transformers and Bi-LSTM for Alzheimer's Disease Diagnosis from 3D MRI.	CoRR	2024	DBLP DOI BibTeX RDF
20	Yash Kant, Ziyi Wu, Michael Vasilkovsky, Guocheng Qian, Jian Ren, Riza Alp Güler, Bernard Ghanem, Sergey Tulyakov, Igor Gilitschenski, Aliaksandr Siarohin	SPAD : Spatially Aware Multiview Diffusers.	CoRR	2024	DBLP DOI BibTeX RDF
20	Zhenyu Li, Ozan Alp Topal, Özlem Tugfe Demir, Emil Björnson, Cicek Cavdar	Mixed Static and Reconfigurable Metasurface Deployment in Indoor Dense Spaces: How Much Reconfigurability is Needed?	CoRR	2024	DBLP DOI BibTeX RDF
20	Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig	Split Gröbner Bases for Satisfiability Modulo Finite Fields.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
20	Zhuo Wang, Alp Sahin, Xiangrui Zeng	Efficient Data Collection for Connected Vehicles With Embedded Feedback-Based Dynamic Feature Selection.	IEEE Trans. Intell. Veh.	2024	DBLP DOI BibTeX RDF
20	Rajendra Prasath Palanisamy, Luis A. Chavez, Raymond Castro, Alp T. Findikoglu	Void-Engineered Metamaterial Delay Line with Built-In Impedance Matching for Ultrasonic Applications.	Sensors	2024	DBLP DOI BibTeX RDF
20	Nitish Singh, Alp Akcay, Quang-Vinh Dang 0002, Tugce G. Martagan, Ivo Adan	Dispatching AGVs with battery constraints using deep reinforcement learning.	Comput. Ind. Eng.	2024	DBLP DOI BibTeX RDF
20	Mert Ozkaya, Mehmet Alp Kose, Egehan Asal	DecSup: An Architecture Description Language for Specifying and Simulating the Decision Support System Architectures.	MODELSWARD	2024	DBLP BibTeX RDF
20	Shawan Taha Mohammed, Alp Argun, Gerd Ascheid	A Unified Approach to Autonomous Driving in a High-Fidelity Simulator Using Vision-Based Reinforcement Learning.	SII	2024	DBLP DOI BibTeX RDF
20	Ayhan Alp Aydeniz, Enrico Marchesini, Christopher Amato, Kagan Tumer	Entropy Seeking Constrained Multiagent Reinforcement Learning.	AAMAS	2024	DBLP BibTeX RDF
20	Tae Jun Yoon, Katie A. Maerzke, Robert P. Currier, Alp Findikoglu	PyOECP: A flexible open-source software library for estimating and modeling the complex permittivity based on the open-ended coaxial probe (OECP) technique.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
20	Vahideh Reshadat, Alp Akcay, Kalliopi Zervanou, Yingqian Zhang 0001, Eelco de Jong	SCRE: special cargo relation extraction using representation learning.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
20	Michael Anastos, David Fabian, Alp Müyesser, Tibor Szabó	Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
20	Alp Ertürk, Esra Erten	Unmixing of Pollution-Associated Sea Snot in the Near Surface After Its Outbreak in the Sea of Marmara Using Hyperspectral PRISMA Data.	IEEE Geosci. Remote. Sens. Lett.	2023	DBLP DOI BibTeX RDF
20	Xiaolong Wang 0007, Alp Sahin, Subhrajit Bhattacharya	Coordination-free Multi-robot Path Planning for Congestion Reduction Using Topological Reasoning.	J. Intell. Robotic Syst.	2023	DBLP DOI BibTeX RDF
20	Alp Merzi, Veysel Gazi, Giuseppe Fedele, Luigi D'Alfonso	Target Capturing in an Ellipsoidal Region with a Swarm of Quadcopter Agents with Different Social Value Orientation Parameters.	J. Intell. Robotic Syst.	2023	DBLP DOI BibTeX RDF
20	Fatma Nur Esirci, Alp Arslan Bayrakci	Delay based hardware Trojan detection exploiting spatial correlations to suppress variations.	Integr.	2023	DBLP DOI BibTeX RDF
20	Mustafa Atahan Nuhoglu, Yasar Kemal Alp, Mehmet Ege Can Ulusoy, Hakan Ali Çirpan	Image Segmentation for Radar Signal Deinterleaving Using Deep Learning.	IEEE Trans. Aerosp. Electron. Syst.	2023	DBLP DOI BibTeX RDF
20	Nina Kamcev, Alp Müyesser	Unavoidable patterns in locally balanced colourings.	Comb. Probab. Comput.	2023	DBLP DOI BibTeX RDF
20	Mert Ozkaya, Geylani Kardas, Mehmet Alp Kose	An Analysis of the Features of Requirements Engineering Tools.	Syst.	2023	DBLP DOI BibTeX RDF
20	Nese Cakici Alp, Yasemin Erkan Yazici, Dilan Oner	Augmented reality experience in an architectural design studio.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
20	Ozan Alp Topal, Gunes Karabulut Kurt	Whispering Lies to the Eavesdropper: Physical Layer Spoofing Against Eavesdropping Attacks.	IEEE Syst. J.	2023	DBLP DOI BibTeX RDF
20	Ayse Senyürek, Selçuk Alp	Churn prediction in telecommunication sector with machine learning methods.	Int. J. Data Min. Model. Manag.	2023	DBLP DOI BibTeX RDF
20	Mehmet Yagan, Serkan Musellim, Suayb S. Arslan, Tuna Çakar, Nihan Alp, Huseyin Ozkan	A new benchmark dataset for P300 ERP-based BCI applications.	Digit. Signal Process.	2023	DBLP DOI BibTeX RDF
20	Alperen Enes Bayar, Ufuk Uyan, Elif Toprak, Yuheng Cao, Juncheng Tang, Ahmet Alp Kindiroglu	Point Cloud Segmentation Using Transfer Learning with RandLA-Net: A Case Study on Urban Areas.	CoRR	2023	DBLP DOI BibTeX RDF