Search results for "nominal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Geraldine E. Rosario, Elke A. Rundensteiner, David C. Brown, Matthew O. Ward	Mapping Nominal Values to Numbers for Effective Visualization.	INFOVIS	2003	DBLP DOI BibTeX RDF	nominal data, clustering, visualization, dimension reduction, classing, quantification, correspondence analysis
92	Murdoch James Gabbay, Martin Hofmann 0001	Nominal Renaming Sets.	LPAR	2008	DBLP DOI BibTeX RDF	Nominal renaming sets, nominal sets, abstract syntax with binding
81	Jesús Maudes, Juan José Rodríguez, César Ignacio García-Osorio	Cascading for Nominal Data.	MCS	2007	DBLP DOI BibTeX RDF	Nominal Data, Cascade Generalization, Support Vector Machines, Decision Trees, Ensembles
81	A. Tsoularis, Chandra Kambhampati	On-line Planning for Collision Avoidance on the Nominal Path.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	time collision, nominal path, safety distance, path planning, collision avoidance, obstacle avoidance
81	Murdoch James Gabbay, Aad Mathijssen	Capture-avoiding substitution as a nominal algebra.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution
65	Andrew Gacek	Relating nominal and higher-order abstract syntax specifications.	PPDP	2010	DBLP DOI BibTeX RDF	higher-order abstract syntax, proof search, nominal logic
65	Christian Urban, Stefan Berghofer	A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL.	IJCAR	2006	DBLP DOI BibTeX RDF	Lambda-calculus, proof assistants, nominal logic, primitive recursion
62	James Cheney	The Complexity of Equivariant Unification.	ICALP	2004	DBLP DOI BibTeX RDF
57	Christophe Calvès, Maribel Fernández	Nominal Matching and Alpha-Equivalence.	WoLLIC	2008	DBLP DOI BibTeX RDF	?-equivalence, nominal terms, matching, Binders
57	Mei-Ling Shyu, Kanoksri Sarinnapakorn, Indika Kuruppu-Appuhamilage, Shu-Ching Chen, LiWu Chang, Thomas Goldring	Handling Nominal Features in Anomaly Intrusion Detection Problems.	RIDE	2005	DBLP DOI BibTeX RDF	indicator variables, multiple correspondence analysis, nominal features, principal component classifier, intrusion detection, Anomaly detection
54	Jordi Levy, Mateu Villaret	Nominal Unification from a Higher-Order Perspective.	RTA	2008	DBLP DOI BibTeX RDF
54	James Cheney	A Simpler Proof Theory for Nominal Logic.	FoSSaCS	2005	DBLP DOI BibTeX RDF
54	Maribel Fernández, Murdoch Gabbay, Ian Mackie	Nominal rewriting systems.	PPDP	2004	DBLP DOI BibTeX RDF	?-conversion, first and higher-order rewriting, binders
50	Christian Urban	Nominal Techniques in Isabelle/HOL.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Nominal logic work, Lambda-calculus, Theorem provers
50	Marino Miculan, Ivan Scagnetto, Furio Honsell	Translating specifications from nominal logic to CIC with the theory of contexts.	MERLIN	2005	DBLP DOI BibTeX RDF	calculus of inductive constructions, languages with binders, logical expressivity, theory of contexts, nominal logics
50	Christian Urban, Christine Tasson	Nominal Techniques in Isabelle/HOL.	CADE	2005	DBLP DOI BibTeX RDF	theorem-assistants, Lambda-calculus, nominal logic, structural induction
46	Donna Malayeri, Jonathan Aldrich	Integrating Nominal and Structural Subtyping.	ECOOP	2008	DBLP DOI BibTeX RDF
46	Nikos Tzevelekos	Full abstraction for nominal general references.	LICS	2007	DBLP DOI BibTeX RDF
46	Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto	Model Checking for Nominal Calculi.	FoSSaCS	2005	DBLP DOI BibTeX RDF
46	Huajie Zhang, Charles X. Ling	Geometric Properties of Naive Bayes in Nominal Domains.	ECML	2001	DBLP DOI BibTeX RDF
46	Richard Evans	A Comparison of Rule-Based and Machine Learning Methods for Identifying Non-nominal It.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
45	Murdoch James Gabbay	Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables.	Math. Struct. Comput. Sci.	2011	DBLP DOI BibTeX RDF
42	Na Li, Tieshi Zhao, Yanzhi Zhao	The Dynamic Modeling of Snake-Like Robot by Using Nominal Mechanism Method.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	Snake-like robot Dynamics Nominal Mechanism Influence coefficient
42	Peter Chapman, James McKinna, Christian Urban	Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	Nominal Isabelle, logic, automated reasoning, Formal mathematics
42	Tomasz Stepien, Bartosz Podlejski	Semi-automatic Creation of a Dictionary of Nominal Compounds.	LTC	2007	DBLP DOI BibTeX RDF	dictionary creation, nominal compounds, noun chains, machine translation
42	Cen Li, Gautam Biswas	Unsupervised Learning with Mixed Numeric and Nominal Data.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	mixed numeric and nominal data, knowledge discovery, similarity measures, interpretation, feature weighting, conceptual clustering, Agglomerative clustering
39	Yanjun Yan, Lisa Ann Osadciw, Glen Benson, Eric White	Inverse data transformation for change detection in wind turbine diagnostics.	CCECE	2009	DBLP DOI BibTeX RDF
39	Kuo-Hsiung Wu, Wen-Hsien Fang, Jiunn-Tsair Chen	Joint DOA-Frequency Offset Estimation and Data Detection in Uplink MIMO-OFDM Networks with SDMA Techniques.	VTC Spring	2006	DBLP DOI BibTeX RDF
39	Christian Urban, James Cheney	Avoiding Equivariance in Alpha-Prolog.	TLCA	2005	DBLP DOI BibTeX RDF
39	James Cheney	Equivariant Unification.	RTA	2005	DBLP DOI BibTeX RDF
38	Andrew M. Pitts	Nominal system T.	POPL	2010	DBLP DOI BibTeX RDF	alpha-equivalence, types, recursion, binders
38	David Turner, Glynn Winskel	Nominal Domain Theory for Concurrency.	CSL	2009	DBLP DOI BibTeX RDF
38	Jesper Bengtson, Joachim Parrow	Formalising the pi-Calculus Using Nominal Logic.	FoSSaCS	2007	DBLP DOI BibTeX RDF
38	James Cheney	The Semantics of Nominal Logic Programs.	ICLP	2006	DBLP DOI BibTeX RDF
38	Maribel Fernández, Murdoch Gabbay	Curry-Style Types for Nominal Terms.	TYPES	2006	DBLP DOI BibTeX RDF	polymorphism, type inference, rewriting, binding
38	Yan Li 0003, Simon Chi-Keung Shiu, Sankar K. Pal, James Nga-Kwok Liu	Learning Similarity Measure of Nominal Features in CBR Classifiers.	PReMI	2005	DBLP DOI BibTeX RDF
38	Maribel Fernández, Murdoch Gabbay	Nominal rewriting with name generation: abstraction vs. locality.	PPDP	2005	DBLP DOI BibTeX RDF	?-conversion, first and higher-order rewriting, name generation, locality, confluence, binders
38	Murdoch Gabbay, James Cheney	A Sequent Calculus for Nominal Logic.	LICS	2004	DBLP DOI BibTeX RDF
38	Jason Cong, Yuzheng Ding	On Nominal Delay Minimization in LUT-based FPGA Technology Mapping.	FPGA	1995	DBLP DOI BibTeX RDF
35	Hao Wu, Chuanfeng Li, Yongji Wang 0001	FCMAC Based Guidance Law for Lifting Reentry Vehicles.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Lifting reentry vehicle, Reentry guidance law, LQR method, FCMAC, Nominal trajectory tracking
35	Lesley Pek Wee Land, D. Ross Jeffery, Chris Sauer	Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Replicated Experiment.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	Software Development Technical Review, interacting group, nominal group, defect detection, false positives
34	James Cheney, Christian Urban	Nominal logic programming.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	name-binding, semantics, logic programming, Nominal logic
34	Boris Oguibénine	Issues in Combinatorial Analysis of Vedic Verbal and Nominal Forms.	Sanskrit Computational Linguistics	2008	DBLP DOI BibTeX RDF	Rigveda, Vedic grammar, Vedic verbal forms, Vedic nominal forms, motif index, morphs, morphology, text analysis, mythology
34	Paola Campadelli, P. Mora, Raimondo Schettini	Color set selection for nominal coding by Hopfield networks.	Vis. Comput.	1995	DBLP DOI BibTeX RDF	Nominal color coding, High contrast color set, Combinatorial optimization, Hopfield networks
31	Huizhong Sun, Yan Zhaung, H. Jonathan Chao	A Principal Components Analysis-Based Robust DDoS Defense System.	ICC	2008	DBLP DOI BibTeX RDF
31	Nash M. Borges, Gerard G. L. Meyer	Unsupervised distributional anomaly detection for a self-diagnostic speech activity detector.	CISS	2008	DBLP DOI BibTeX RDF
31	Anjali Joshi, Mats Per Erik Heimdahl	Behavioral Fault Modeling for Model-based Safety Analysis.	HASE	2007	DBLP DOI BibTeX RDF
31	Dianwei Qian, Jianqiang Yi, Dongbin Zhao	Robust Control Using Sliding Mode for a Class of Under-Actuated Systems With Mismatched Uncertainties.	ICRA	2007	DBLP DOI BibTeX RDF
31	Nicholas Holden, Alex Alves Freitas	A hybrid PSO/ACO algorithm for classification.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	data mining, classification, particle swarm optimization, rule induction, ant colony optimisation
31	Xiangyang Li, Nong Ye	A Supervised Clustering and Classification Algorithm for Mining Data With Mixed Variables.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
31	Minkyu Lee, Jan P. H. van Santen, Bernd Möbius, Joseph P. Olive	Formant Tracking Using Context-Dependent Phonemic Information.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
31	Abbas Tarhini, Antoine Rollet, Hacène Fouchal	A pragmatic approach for testing robustness on real-time component based systems.	AICCSA	2005	DBLP DOI BibTeX RDF
31	Fu-Shiung Hsieh	Fault-tolerant deadlock avoidance algorithm for assembly processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
31	Eric E. Allen, Jonathan Bannet, Robert Cartwright	A first-class approach to genericity.	OOPSLA	2003	DBLP DOI BibTeX RDF
30	Raymond Chi-Wing Wong, Jian Pei, Ada Wai-Chee Fu, Ke Wang 0001	Online Skyline Analysis with Dynamic Preferences on Nominal Attributes.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
30	Fengyu Zhao, Xin Peng 0001, Wenyun Zhao	Software Development Process Monitoring Based on Nominal Transformation.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
30	Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor	Psi-calculi: Mobile Processes, Nominal Data, and Logic.	LICS	2009	DBLP DOI BibTeX RDF
30	Kenji Watanabe, Takio Kurita	Locality preserving multi-nominal logistic regression.	ICPR	2008	DBLP DOI BibTeX RDF
30	Knut Güttel, Peter Weber, Alexander Fay	Automatic generation of PLC code beyond the nominal sequence.	ETFA	2008	DBLP DOI BibTeX RDF
30	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Event Structure Semantics for Nominal Calculi.	CONCUR	2006	DBLP DOI BibTeX RDF
30	Yingjie Tian 0001, Naiyang Deng	Support Vector Classification with Nominal Attributes.	CIS (1)	2005	DBLP DOI BibTeX RDF
30	Jinying Chen, Nianwen Xue, Martha Stone Palmer	Using a Smoothing Maximum Entropy Model for Chinese Nominal Entity Tagging.	IJCNLP	2004	DBLP DOI BibTeX RDF
30	Sandro Morasca	On the Definition and Use of Aggregate Indices for Nominal, Ordinal, and Other Scales.	IEEE METRICS	2004	DBLP DOI BibTeX RDF
30	Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark	Nominal Games and Full Abstraction for the Nu-Calculus.	LICS	2004	DBLP DOI BibTeX RDF
30	Ryohei Nakano, Kazumi Saito	Discovering Polynomials to Fit Multivariate Data Having Numeric and Nominal Variables.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
30	Ryohei Nakano, Kazumi Saito	Finding Polynomials to Fit Multivariate Data Having Numeric and Nominal Variables.	IDA	2001	DBLP DOI BibTeX RDF
30	Andrew D. Gordon 0001	Notes on Nominal Calculi for Security and Mobility.	FOSAD	2000	DBLP DOI BibTeX RDF
30	Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan	Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.	CoRR	2023	DBLP DOI BibTeX RDF
30	Khadijeh Keshvardoost, Mojgan Mahmoudi	Free functor from the category of G-nominal sets to that of 01-G-nominal sets.	Soft Comput.	2018	DBLP DOI BibTeX RDF
30	Murdoch James Gabbay	Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free.	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
30	Gilles Dowek, Murdoch James Gabbay	Permissive-nominal logic: First-order logic over nominal terms and sets.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
30	Murdoch James Gabbay	Unity in nominal equational reasoning: The algebra of equality on nominal sets.	J. Appl. Log.	2012	DBLP DOI BibTeX RDF
30	Murdoch James Gabbay	Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free	CoRR	2011	DBLP BibTeX RDF
30	Murdoch James Gabbay, Dominic P. Mulligan	Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets	LFMTP	2011	DBLP DOI BibTeX RDF
30	Maribel Fernández, Murdoch James Gabbay	Closed nominal rewriting and efficiently computable nominal algebra equality	LFMTP	2010	DBLP DOI BibTeX RDF
30	Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan	Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.	Log. J. IGPL	2010	DBLP DOI BibTeX RDF
30	Murdoch James Gabbay, Dominic P. Mulligan	Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables.	LFMTP	2009	DBLP DOI BibTeX RDF
27	Christian Urban, James Cheney, Stefan Berghofer	Mechanizing the Metatheory of LF.	LICS	2008	DBLP DOI BibTeX RDF	mechanized metatheory, logical frameworks, nominal logic
27	Mohamed Mahdi Malik, Jean Royauté	A Predicate Database for Assisting the Design of a Lexicon-Grammar of Predicative Nouns.	LTC	2007	DBLP DOI BibTeX RDF	Predicate noun phrase, Lexicon-grammar, Argument role, Nominal and verbal constructions, Database, Nominalization
27	James Cheney, Alberto Momigliano	Mechanized metatheory model-checking.	PPDP	2007	DBLP DOI BibTeX RDF	counterexample search, model checking, nominal logic
27	Fabio Gadducci, Marino Miculan, Ugo Montanari	About permutation algebras, (pre)sheaves and named sets.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Nominal calculi, Permutation algebras, Presheaf categories, Named sets
27	Murdoch Gabbay, Aad Mathijssen	One-and-a-halfth-order logic.	PPDP	2006	DBLP DOI BibTeX RDF	?-conversion, Fraenkel-Mostowski techniques, meta-variables, nominal terms, first-order logic, higher-order logic
27	Paolo Baldan, Fabio Gadducci, Ugo Montanari	Concurrent Rewriting for Graphs with Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	Concurrent graph rewriting, dpo approach, graphical encoding of nominal calculi, graph process semantics
27	Loïc Kervajan, Emilie Guimier De Neef, Jean Véronis	French Sign Language Processing: Verb Agreement.	Gesture Workshop	2005	DBLP DOI BibTeX RDF	French Sign Language, verb typology, nominal classes, computational sciences, morphology, agreement
27	James Cheney	Toward a general theory of names: binding and scope.	MERLIN	2005	DBLP DOI BibTeX RDF	names, abstract syntax, scope, nominal logic
27	Karim Arabi, Bozena Kaminska, Stephen K. Sunter	Design for testability of integrated operational amplifiers using oscillation-test strategy.	ICCD	1996	DBLP DOI BibTeX RDF	integrated operational amplifiers, oscillation-test strategy, vector-less test solution, test mode, oscillation frequency, nominal tolerance, digital circuitry, high fault coverage, simulation, design for testability, design for testability, oscillators, operational amplifiers, Monte Carlo analysis
27	Youngmin Hur, Stephen A. Szygenda	Special purpose array processor for digital logic simulation.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	special purpose array processor, digital logic simulation, large VLSI circuits, compute-intensive tasks, digital analysis, time driven array processor, massively parallel processing element, compiled event-driven technology, nominal transport delay timing analysis, delay time order, levelized circuit, massively parallel PE array, MARS accelerator, VLSI, parallel architectures, delays, timing, fault simulation, logic CAD, digital simulation, circuit analysis computing, special purpose computers, SIMD architecture, hardware cost
23	Grettel Barceló, Eduardo Cendejas, Grigori Sidorov, Igor A. Bolshakov	Formal Grammar for Hispanic Named Entities Analysis.	CICLing	2009	DBLP DOI BibTeX RDF
23	Yue Rong, Yingbo Hua, Ananthram Swami, A. Lee Swindlehurst	Space-Time Power Schedule for Distributed MIMO Links Without Instantaneous Channel State Information at the Transmitting Nodes.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
23	Mehrez Souden, Sofiène Affes, Jacob Benesty	A Two-Stage Approach to Estimate the Angles of Arrival and the Angular Spreads of Locally Scattered Sources.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
23	Robert G. M. Hausmann, Brett van de Sande, Kurt VanLehn	Shall We Explain? Augmenting Learning from Intelligent Tutoring Systems and Peer Collaboration.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	explanation activities, studying examples, Collaborative learning
23	Stavros Passas, George Kotsis, Sven Karlsson, Angelos Bilas	Exploiting spatial parallelism in Ethernet-based cluster interconnects.	IPDPS	2008	DBLP DOI BibTeX RDF
23	Yangyang Liu, Yang Zhang	An Improved CURD Algorithm for Source Code Mining.	FSKD (4)	2008	DBLP DOI BibTeX RDF
23	Dhruva Ghai, Saraju P. Mohanty, Elias Kougianos	A process and supply variation tolerant nano-CMOS low voltage, high speed, a/d converter for system-on-chip.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	flash adc, nano-cmos, ti comparator, process variation, analog-to-digital converter, low voltage, high speed
23	Da-Yin Liao, Yu-Tsung Yang	Imaging Order Scheduling of an Earth Observation Satellite.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
23	Yi Hu, Ruzhan Lu, Yuquan Chen, Jinglei Zhao	Automated Extraction of Conceptual Knowledge from a Chinese Machine-Readable Dictionary.	FSKD (4)	2007	DBLP DOI BibTeX RDF
23	Sitao Wu, Tommy W. S. Chow, Kai Tat Ng, Kim Fung Tsang	Improvement of borrowing channel assignment for patterned traffic load by online cellular probabilistic self-organizing map.	Neural Comput. Appl.	2006	DBLP DOI BibTeX RDF	Borrowing channel assignment (BCA), Cellular probabilistic SOM (CPSOM), Fixed channel allocation (FCA), Patterned traffic load, Self-organizing map (SOM), Dynamic channel allocation (DCA)
23	Zongying Shi, Yisheng Zhong, Wenli Xu, Mingguo Zhao	Decentralized Robust Control of Uncertain Robots with Backlash and Flexibility at Joints.	IROS	2006	DBLP DOI BibTeX RDF
23	Stefan Hanenberg, Mohammed Al-Mansari, Rainer Unland	Aspect-specification based on structural type information.	SAC	2006	DBLP DOI BibTeX RDF
23	Ranjith Kumar, Volkan Kursun	Impact of temperature fluctuations on circuit characteristics in 180nm and 65nm CMOS technologies.	ISCAS	2006	DBLP DOI BibTeX RDF