Search results for "Specialisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
209	Pablo E. Martínez López, John Hughes	Principal type specialisation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	program specialisation, type based transformation, type specialisation, qualified types
99	John P. Gallagher	Tutorial on Specialisation of Logic Programs.	PEPM	1993	DBLP DOI BibTeX RDF	Prolog
73	Helko Lehmann, Michael Leuschel	Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce.	LOPSTR	2003	DBLP DOI BibTeX RDF
73	John Hughes 0001	The Correctness of Type Specialisation.	ESOP	2000	DBLP DOI BibTeX RDF
70	Rinat Khoussainov, Nicholas Kushmerick	Specialisation dynamics in federated web search.	WIDM	2004	DBLP DOI BibTeX RDF	federated web search, topic specialisation, competition
70	Santanu Roy, Pratap K. J. Mohapatra	Regional Specialisation for Technological Innovation in R&D Laboratories: A Strategic Perspective.	AI Soc.	2002	DBLP DOI BibTeX RDF	R&D linkages, Regional specialisation, Industrial clusters, Technological innovation
65	Jonathan C. Martin, Michael Leuschel	Sonic Partial Deduction.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
57	Sistine A. Barretto, James R. Warren, Markus Stumptner, Michael Schrefl, Gerald Quirchmayr, Stephen Nield	Coordination of Inter-organisational Healthcare Processes via Specialisation of Internet-Based Object Life Cycles.	HICSS	2002	DBLP DOI BibTeX RDF	behaviour-consistent specialisation, healthcare process, health information system (HIS), Good Electronic Health Record (GEHR), coordination, refinement, extension, object life cycle
52	Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko	A Binding Scope Analysis for Generic Programs on Arrays.	IFL	2005	DBLP DOI BibTeX RDF
48	Michael Jackson 0001	The Name and Nature of Software Engineering.	Lipari Summer School	2007	DBLP DOI BibTeX RDF	Component structure, non-formal, normal design, problem world, radical design, formal, software-intensive systems, specialisation
48	Michael Leuschel	Homeomorphic Embedding for Online Termination of Symbolic Methods.	The Essence of Computation	2002	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders
48	Yong Liu 0012, Xin Yao 0001	Time Series Prediction by Using Negatively Correlated Neural Networks.	SEAL	1998	DBLP DOI BibTeX RDF	Cooperation, Time Series Prediction, Generalisation, Neural Network Ensembles, Specialisation
48	Michael Leuschel	Improving Homeomorphic Embedding for Online Termination.	LOPSTR	1998	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Logic Programming, Program Analysis, Termination, Well-quasi orders
48	Dirk Dussart, John Hughes, Peter Thiemann 0001	Type Specialization for Imperative Languages.	ICFP	1997	DBLP DOI BibTeX RDF	program transformation, type systems, monads, specialisation
47	Václav Repa	Specialisation Cognitive Informatics at the Prague University of Economics.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
47	Alberto Guillén, Ignacio Rojas, Jesús González 0001, Héctor Pomares, Luis Javier Herrera, Ben Paechter	Improving the Performance of Multi-objective Genetic Algorithm for Function Approximation Through Parallel Islands Specialisation.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
47	Stephen-John Craig, Michael Leuschel	Self-tuning resource aware specialisation for prolog.	PPDP	2005	DBLP DOI BibTeX RDF
47	David Hales	Evolving Specialisation, Altruism, and Group-Level Optimisation Using Tags.	MABS	2002	DBLP DOI BibTeX RDF
47	Wim Vanhoof, Danny De Schreye, Bern Martens	A Framework for Bottom Up Specialisation of Logic Programs.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
44	Simon L. Peyton Jones	Call-pattern specialisation for haskell programs.	ICFP	2007	DBLP DOI BibTeX RDF	compilers, optimisation, haskell, specialisation
44	Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons	Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.	IWPC	2001	DBLP DOI BibTeX RDF	Conditioned program slicing, program specialisation, path condition analysis
43	Jérémie Faham	L'instrumentation des processus de « Découverte entrepreneuriale » dans le cadre des Stratégies de Recherche et d'Innovation pour la Spécialisation Intelligente (RIS3) : proposition d'une plateforme collaborative et d'une méthodologie de « matching » entre « Entrepreneurs Régionaux » pour favoriser les échanges dans les zones intermédiaires du système d'innovation régional de la Nouvelle-Aquitaine. (The instrumentation of "Entrepreneurial Discovery" processes of "Research and Innovation Strategies for the Smart Specialisation" (RIS3)).		2018	RDF
43	Gilles Sérasset	Sublim : un systeme universel de bases lexicales multilingues et Nadia : sa specialisation aux bases lexicales interlingues par acceptions. (Sublim: A Universal Lexical Database Manager and Nadia: its Specialisation for Acception Based Interlingual Lexical Database).		1994	RDF
39	Stephen-John Craig, Michael Leuschel	A Compiler Generator for Constraint Logic Programs.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
39	Rogardt Heldal, John Hughes 0001	Binding-Time Analysis for Polymorphic Types.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
35	Kees Zoethout, Wander Jager, Eric Molleman	Task dynamics in self-organising task groups: expertise, motivational, and performance differences of specialists and generalists.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Specialisation-generalisation, Psychological theory, Multi-agents system, Task allocation, Self-organisation
35	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
35	Clemens Ballarin, Lawrence C. Paulson	Reasoning About Coding Theory: The Benefits We Get from Computer Algebra.	AISC	1998	DBLP DOI BibTeX RDF	mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers
35	Anthony Knittel	An activation reinforcement based classifier system for balancing generalisation and specialisation (ARCS).	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	accessibility, reinforcement learning, memory, learning classifier systems, concepts
35	Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson	Iterative Specialisation of Horn Clauses.	ESOP	2008	DBLP DOI BibTeX RDF
35	Andrew M. Cheadle, A. J. Field, Johan Nyström-Persson	A method specialisation and virtualised execution environment for Java.	VEE	2008	DBLP DOI BibTeX RDF	method virtualization, memory management, language implementation, read barrier, incremental garbage collection
35	Nicolas van Zeebroeck, Bruno van Pottelsberghe de la Potterie, Wook Han	Issues in measuring the degree of technological specialisation with patent data.	Scientometrics	2006	DBLP DOI BibTeX RDF
35	Kim S. Henriksen, John P. Gallagher	Analysis and specialisation of a PIC processor.	SMC (2)	2004	DBLP DOI BibTeX RDF
35	Pierre Crescenzo, Philippe Lahire	Using Both Specialisation and Generalisation in a Programming Language: Why and How?	OOIS Workshops	2002	DBLP DOI BibTeX RDF
35	Wim Vanhoof, Danny De Schreye, Bern Martens	Bottom-Up Specialisation of Logic Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
35	Dirk Dussart, Rogardt Heldal, John Hughes 0001	Module-Sensitive Program Specialisation.	PLDI	1997	DBLP DOI BibTeX RDF
26	Ian Rogers, Jisheng Zhao, Chris C. Kirkham, Ian Watson	Constraint based optimization of stationary fields.	PPPJ	2008	DBLP DOI BibTeX RDF
26	Michael Leuschel, Germán Vidal	Fast Offline Partial Evaluation of Large Logic Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
26	David Delmas, Jean Souyris	Astrée: From Research to Industry.	SAS	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, abstract interpretation
26	Colin F. Snook, Marina Waldén	Refinement of Statemachines Using Event B Semantics.	B	2007	DBLP DOI BibTeX RDF
26	Tore Langholm	A descriptive characterisation of linear languages.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Linear languages, Greibach normal form, Descriptive complexity
26	Anita Engels, Tina Ruschenburg, Peter Weingart	Recent internationalization of global environmental change research in Germany and the U.S..	Scientometrics	2005	DBLP DOI BibTeX RDF
26	Andrew Moss, Henk L. Muller	Efficient Code Generation for a Domain Specific Language.	GPCE	2005	DBLP DOI BibTeX RDF
26	Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While	Exploring the barrier to entry: incremental generational garbage collection for Haskell.	ISMM	2004	DBLP DOI BibTeX RDF	non-stop haskell, incremental garbage collection
26	Stephen-John Craig, Michael Leuschel	LIX: an Effective Self-applicable Partial Evaluator for Prolog.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application
26	Gábor Mihály Surányi, Zsolt Tivadar Kardkovács, Sándor Gajdos	Catalogues from a New Perspective: A Data Structure for Physical Organisation.	ADBIS	2004	DBLP DOI BibTeX RDF	Physical organisation, similarity query, catalogue
26	Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen	Fully Automatic Binding-Time Analysis for Prolog.	LOPSTR	2004	DBLP DOI BibTeX RDF
26	Olav Beckmann, Alastair Houghton, Michael R. Mellor, Paul H. J. Kelly	Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
26	Heike Wehrheim	Inheritance of Temporal Logic Properties.	FMOODS	2003	DBLP DOI BibTeX RDF
26	Esperanza Marcos, José María Cavero	Hierarchies in Object Oriented Conceptual Modeling.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
26	David Hales	Searching for a Soulmate-Searching for Tag - Similar Partners Evolves and Supports Specialization in Groups.	RASTA	2002	DBLP DOI BibTeX RDF
26	Alan Mycroft, Richard Sharp	Hardware Synthesis Using SAFL and Application to Processor Design.	CHARME	2001	DBLP DOI BibTeX RDF
26	Karen Renaud, James Huw Evans	JavaCloak: Reflecting on Java Typing for Class Reuse Using Proxies.	Reflection	2001	DBLP DOI BibTeX RDF
26	Michael Leuschel, Helko Lehmann	Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction.	Computational Logic	2000	DBLP DOI BibTeX RDF
26	Annalisa Bossi, Sabina Rossi	Specialising Logic Programs with Respect to Call?Post Specifications.	LOPSTR	1998	DBLP DOI BibTeX RDF
26	Paul A. Beardsley, Andrew Zisserman, David William Murray 0001	Sequential Updating of Projective and Affine Structure from Motion.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF
26	Wim Vanhoof, Bern Martens	To Parse or Not To Parse.	LOPSTR	1997	DBLP DOI BibTeX RDF
26	Paul Singleton, Pearl Brereton	Storage and Retrieval of First-order Terms Using a Relational Database.	BNCOD	1993	DBLP DOI BibTeX RDF
22	Manuel Barbosa, Andrew Moss, Dan Page	Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	Compilers, Optimisation, Implementation, Elliptic curve cryptography (ECC), Specialisation
22	Toshiyuki Yasuda, Kazuhiro Ohkura	Improving Search Efficiency in the Action Space of an Instance-Based Reinforcement Learning Technique for Multi-robot Systems.	ECAL	2007	DBLP DOI BibTeX RDF	Autonomous Specialisation, Action Search, Reinforcement Learning, Multi-robot System
22	Manuel Barbosa, Andrew Moss, Dan Page	Compiler Assisted Elliptic Curve Cryptography.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF	Compilers, Optimisation, Implementation, Elliptic Curve Cryptography (ECC), Specialisation
22	Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd	Pre/Post Conditioned Slicing.	ICSM	2001	DBLP DOI BibTeX RDF	Conditioned program slicing, program specialisation, path condition analysis
22	Enric Fuster, Tatiana Fernández, Hermes Carretero, Nicolau Duran-Silva, Roger Guixé, Josep Pujol-Llatse, Bernardo Rondelli, Guillem Rull, Marta Cortijo, Montserrat Romagosa	Towards building a monitoring platform for a challenge-oriented smart specialisation with RIS3-MCAT.	CoRR	2024	DBLP DOI BibTeX RDF
22	Hrutvik Kanabar, Kacper Korban, Magnus O. Myreen	Verified Inlining and Specialisation for PureCake.	ESOP (2)	2024	DBLP DOI BibTeX RDF
22	Hanna Naakka, Jarmo Heinonen, Merja Männistö, Sami Perälä, Anna Rauha, Mika Paldanius, Outi Ahonen, Päivi Sanerma	Social and Health Care Teachers' Experiences of Implementing Multidisciplinary Specialisation Studies in a Digital Learning Environment.	NCDHWS (1)	2024	DBLP DOI BibTeX RDF
22	Francesco Foglia	Is smart specialisation monopolising the research on the EU cohesion policy? Evidence from a bibliometric analysis.	Scientometrics	2023	DBLP DOI BibTeX RDF
22	Youssef Moawad, Wim Vanderbauwhede, René Steijl	Quantum Circuit-Width Reduction through Parameterisation and Specialisation.	Algorithms	2023	DBLP DOI BibTeX RDF
22	Andreas Kalaitzakis, Jérôme Euzenat	À quoi sert la spécialisation en évolution culturelle de la connaissance ? (présentation courte).	JFSMA	2023	DBLP BibTeX RDF
22	Aiqi Jiang, Arkaitz Zubiaga	SexWEs: Domain-Aware Word Embeddings via Cross-Lingual Semantic Specialisation for Chinese Sexism Detection in Social Media.	ICWSM	2023	DBLP DOI BibTeX RDF
22	John P. Gallagher, Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001	Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation.	LOPSTR	2023	DBLP DOI BibTeX RDF
22	Paulis F. Barzdins, Audris Kalnins, Edgars Celms, Janis Barzdins, Arturs Sprogis, Mikus Grasmanis, Sergejs Rikacovs, Guntis Barzdins	Metamodel Specialisation based Tool Extension.	Balt. J. Mod. Comput.	2022	DBLP DOI BibTeX RDF
22	Stassa Patsantzis, Stephen H. Muggleton	Correction to: Meta-interpretive learning as metarule specialisation.	Mach. Learn.	2022	DBLP DOI BibTeX RDF
22	Stassa Patsantzis, Stephen H. Muggleton	Meta-interpretive learning as metarule specialisation.	Mach. Learn.	2022	DBLP DOI BibTeX RDF
22	Aiqi Jiang, Arkaitz Zubiaga	SexWEs: Domain-Aware Word Embeddings via Cross-lingual Semantic Specialisation for Chinese Sexism Detection in Social Media.	CoRR	2022	DBLP DOI BibTeX RDF
22	Robert Peter Barratt	Simulating a stone roof for the Maltese Neolithic temples: Analysing stress to understand specialisation.	Digit. Appl. Archaeol. Cult. Heritage	2022	DBLP DOI BibTeX RDF
22	Zoran Aralica, Ivan-Damir Anic, Bruno Skrinjaric, Anita Harmina	Exploring the researchers' performance in the selected thematic priority area within the Croatian Smart Specialisation Strategy.	CRIS	2022	DBLP DOI BibTeX RDF
22	Cyprien Plateau-Holleville, Yannick Benezeth	Class-aware data augmentation by GAN specialisation to improve endoscopic images classification.	BHI	2022	DBLP DOI BibTeX RDF
22	Stassa Patsantzis, Stephen H. Muggleton	Meta-Interpretive Learning as Metarule Specialisation.	CoRR	2021	DBLP BibTeX RDF
22	Rui Chen 0028, Bernd Meyer 0001, Julian Garcia	A computational model of task allocation in social insects: ecology and interactions alone can drive specialisation.	Swarm Intell.	2020	DBLP DOI BibTeX RDF
22	John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García 0001, José F. Morales 0001	From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation.	VPT/HCVS@ETAPS	2020	DBLP DOI BibTeX RDF
22	Alice Millour, Karën Fort, Pierre Magistry	Répliquer et étendre pour l'alsacien "Étiquetage en parties du discours de langues peu dotées par spécialisation des plongements lexicaux" (Replicating and extending for Alsatian : "POS tagging for low-resource languages by adapting word embeddings").	ETeRNAL@JEP-TALN-RECITAL	2020	DBLP BibTeX RDF
22	Alla Ivashchenko, Yevheniia Polishchuk, Nataliia Datsenko	The System of Simultaneous Equations in Regional Economic Potential Assessment within Smart Specialisation Framework.	ICTERI	2020	DBLP BibTeX RDF
22	Manuela Persia, Pasquale Balena, Alessandro Bonifazi, Maria Immacolata Marzulli, Antonio Orlando, Carmelo Maria Torre	Sustainable Local Development and Smart Specialisation Strategies: Recent Developments in Agri-food Research and Innovation Partnerships in Puglia, Italy.	ICCSA (5)	2020	DBLP DOI BibTeX RDF
22	Wang Lin	Literature Review On "Spatial Distribution of Smart Specialisation".	EBIMCS	2020	DBLP DOI BibTeX RDF
22	David Pierce, Simon Shepherd 0001, Daniel Johnson	Modelling the Impacts of Inter-City Connectivity on City Specialisation.	Int. J. Syst. Dyn. Appl.	2019	DBLP DOI BibTeX RDF
22	Adam Hampshire, Richard E. Daws, Ines Das Neves, Eyal Soreq, Stefano Sandrone, Inês R. Violante	Probing cortical and sub-cortical contributions to instruction-based learning: Regional specialisation and global network dynamics.	NeuroImage	2019	DBLP DOI BibTeX RDF
22	John P. Gallagher	Polyvariant Program Specialisation with Property-based Abstraction.	VPT@Programming	2019	DBLP DOI BibTeX RDF
22	Rikus le Roux, George van Schoor, Pieter A. van Vuuren	Improving functional density of time-critical applications using hardware-based dynamic reconfiguration and bitstream specialisation.	South Afr. Comput. J.	2019	DBLP DOI BibTeX RDF
22	Aymeric Blot, Justyna Petke	On adaptive specialisation in genetic improvement.	GECCO (Companion)	2019	DBLP DOI BibTeX RDF
22	Nibedita Saha, Tomas Sáha, Petr Sáha	Cluster strategies and smart specialisation strategy: do they really leverage on knowledge and innovation-driven territorial growth?	Technol. Anal. Strateg. Manag.	2018	DBLP DOI BibTeX RDF
22	Christine Choppy, Jörg Desel, Laure Petrucci	Specialisation and Generalisation of Processes.	Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.	2018	DBLP DOI BibTeX RDF
22	Ivan Vulic, Goran Glavas, Nikola Mrksic, Anna Korhonen	Post-Specialisation: Retrofitting Vectors of Words Unseen in Lexical Resources.	CoRR	2018	DBLP BibTeX RDF
22	Raju Kalaivani, Raju Reema, Narayanaswamy Srinivasan	Recognition of sites of functional specialisation in all known eukaryotic protein kinase families.	PLoS Comput. Biol.	2018	DBLP DOI BibTeX RDF
22	Ivan Vulic, Goran Glavas, Nikola Mrksic, Anna Korhonen	Post-Specialisation: Retrofitting Vectors of Words Unseen in Lexical Resources.	NAACL-HLT	2018	DBLP DOI BibTeX RDF
22	Mirjana Kranjac, Uros Sikimic, Jakob Salom, Srdan Tomic, S. Bulajic	Visualization of smart specialisation process using QGIS tools.	MIPRO	2018	DBLP DOI BibTeX RDF
22	Pierre Magistry, Anne-Laure Ligozat, Sophie Rosset	Étiquetage en parties du discours de langues peu dotées par spécialisation des plongements lexicaux (POS tagging for low-resource languages by adapting word embeddings ).	CORIA-TALN-RJC (TALN)	2018	DBLP BibTeX RDF
22	Ivan Vulic	Injecting Lexical Contrast into Word Vectors by Guiding Vector Space Specialisation.	Rep4NLP@ACL	2018	DBLP DOI BibTeX RDF
22	Ilias Marinos	Network and storage stack specialisation for performance.		2018	RDF
22	Andrey Rodchenko	Software/hardware co-design and co-specialisation: novel simulation techniques and optimisations.		2018	RDF
22	Yaw Owusu-Agyeman, Otu Larbi-Siaw	Reframing the principle of specialisation in legitimation code theory: A blended learning perspective.	Educ. Inf. Technol.	2017	DBLP DOI BibTeX RDF