Search results for "Qualifiers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
173	Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken	Flow-insensitive type qualifiers.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	const, taint, security, static analysis, constraints, types, Type qualifiers
121	Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken	Flow-Sensitive Type Qualifiers.	PLDI	2002	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, linux kernel, type qualifiers, restrict, flow-sensitivity
113	Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken	A Theory of Type Qualifiers.	PLDI	1999	DBLP DOI BibTeX RDF
104	Brian Chin, Shane Markstrum, Todd D. Millstein	Semantic type qualifiers.	PLDI	2005	DBLP DOI BibTeX RDF	extensible typechecking, type qualifiers, type soundness
104	Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst	Inference of Reference Immutability.	ECOOP	2008	DBLP DOI BibTeX RDF
78	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
78	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
78	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
78	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
78	Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg	Inference of User-Defined Type Qualifiers and Qualifier Rules.	ESOP	2006	DBLP DOI BibTeX RDF
77	David Greenfieldboyce, Jeffrey S. Foster	Type qualifier inference for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability
69	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
52	Sven De Labey, Eric Steegmans	A type system extension for middleware interactions.	MAI	2007	DBLP DOI BibTeX RDF	group method invocation, fault tolerance, type system, type qualifier
52	John C. McInturff	Expressing Qualified Logic in APL.	APL	1989	DBLP DOI BibTeX RDF	APL
44	Syavash Nobarany, Mona Haraty	Improving Accuracy of Tagging Systems Using Tag Qualifiers and Tagraph Vocabulary System.	MTSR	2007	DBLP DOI BibTeX RDF
44	Dan Olteanu, Tobias Kiesling, François Bry	An Evaluation of Regular Path Expressions with Qualifiers against XML Streams.	ICDE	2003	DBLP DOI BibTeX RDF
44	Steven O. Kimbrough	On ESTheta Theory and the Logic of the X12 Date/Time Qualifiers.	HICSS (5)	1998	DBLP DOI BibTeX RDF
43	Nor'ain Mohd Yusoff, Muhammad Hafiz Abdul Wahab, Mohamad Azrulnisyam Aziz, Fauzul Jalil Asha'ari	ESSE: Learning Disability Classification System for Autism and Dyslexia.	HCI (5)	2009	DBLP DOI BibTeX RDF	Qualifiers, Knowledge Engineering, Autism, Dyslexia, Choice
35	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
35	David Callele, Eric Neufeld, Kevin A. Schneider	Emotional Requirements in Video Games.	RE	2006	DBLP DOI BibTeX RDF	emotional requirements, emotion, video game, Non-functional requirements
35	David Greenfieldboyce, Jeffrey S. Foster	Visualizing type qualifier inference with Eclipse.	eTX	2004	DBLP DOI BibTeX RDF
35	Frédérique Laforest, Anne Tchounikine	A Model for Querying Annotated Documents.	ADBIS	1999	DBLP DOI BibTeX RDF
35	Gillian Dobbie, Rodney W. Topor	Resolving Ambiguities caused by Multiple Inheritance.	DOOD	1995	DBLP DOI BibTeX RDF
35	Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca	The LOGRES prototype.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
27	Sahar Aljalbout, Gilles Falquet, Didier Buchs	Handling Wikidata Qualifiers in Reasoning.	CoRR	2023	DBLP DOI BibTeX RDF
27	Weizhong Tang, Marcus Klang, Dennis Medved, Pierre Nugues, Johan Nilsson	Automatic Annotation of PubMed Articles with MeSH Qualifiers.	EMBC	2023	DBLP DOI BibTeX RDF
27	Quentin Feltgen	From qualifiers to quantifiers: semantic shift at the paradigm level.	LChange@ACL	2022	DBLP DOI BibTeX RDF
27	Rui Zhao	The Analysis of the Winning Factors of the Chinese Women's Basketball Team in the 2020 Tokyo Olympic Qualifiers for the Chinese College Women's Basketball Team.	CIPAE	2021	DBLP DOI BibTeX RDF
27	Guillaume Bernard, Cyrille Suire, Cyril Faucher, Antoine Doucet	A Comprehensive Extraction of Relevant Real-World-Event Qualifiers for Semantic Search Engines.	TPDL	2021	DBLP DOI BibTeX RDF
27	Shahan Ali Memon	Acoustic Correlates of the Voice Qualifiers: A Survey.	CoRR	2020	DBLP BibTeX RDF
27	Jyotsna Sahay, Sundeep Sahay, Arunima Sehgal Mukherjee	Sustainability Qualifiers of Health Management Information Systems Implementation: Case Study of DHIS2 in India.	IFIPJWC	2020	DBLP DOI BibTeX RDF
27	Travis Carlson, Eric Van Wyk	Type qualifiers as composable language extensions for code analysis and generation.	J. Comput. Lang.	2019	DBLP DOI BibTeX RDF
27	Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren	Activity qualifiers using an argument-based construction.	Knowl. Inf. Syst.	2018	DBLP DOI BibTeX RDF
27	Houcemeddine Turki, Mohamed Ali Hadj Taieb, Mohamed Ben Aouicha	MeSH qualifiers, publication types and relation occurrence frequency are also useful for a better sentence-level extraction of biomedical relations.	J. Biomed. Informatics	2018	DBLP DOI BibTeX RDF
27	Yijia Zhang	Letter to the Editor (Response from author): MeSH qualifiers, publication types and relation occurrence frequency are also useful for a better sentence-level extraction of biomedical relations.	J. Biomed. Informatics	2018	DBLP DOI BibTeX RDF
27	Peter F. Patel-Schneider	Contextualization via Qualifiers.	CKGSemStats@ISWC	2018	DBLP BibTeX RDF
27	Szilvia Nagy, Brigita Sziová, László T. Kóczy	The effect of image feature qualifiers on fuzzy colorectal polyp detection schemes using KH interpolation - towards hierarchical fuzzy classification of coloscopic still images.	FUZZ-IEEE	2018	DBLP DOI BibTeX RDF
27	Fernando Alarcón, Guillermo Durán, Mario Guajardo, Jaime Miranda, Hugo Muñoz, Luis Ramírez, Mario Ramírez, Denis Sauré, Matías Siebert, Sebastian Souyris, Andrés Weintraub, Rodrigo Wolf-Yadlin, Gonzalo Andres Zamorano	Operations Research Transforms the Scheduling of Chilean Soccer Leagues and South American World Cup Qualifiers.	Interfaces	2017	DBLP DOI BibTeX RDF
27	Guillermo Durán, Mario Guajardo, Denis Sauré	Scheduling the South American Qualifiers to the 2018 FIFA World Cup by integer programming.	Eur. J. Oper. Res.	2017	DBLP DOI BibTeX RDF
27	Travis Carlson, Eric Van Wyk	Type qualifiers as composable language extensions.	GPCE	2017	DBLP DOI BibTeX RDF
27	Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren	Activity Qualifiers in an Argumentation Framework as Instruments for Agents When Evaluating Human Activity.	PAAMS	2016	DBLP DOI BibTeX RDF
27	Martin J. Wheatman	Context-Dependent Pattern Simplification by Extracting Context-Free Floating Qualifiers.	SGAI Conf.	2016	DBLP DOI BibTeX RDF
27	Marcelo A. Carvalho, Ivan Torres Pisa, Cristina Lucia Feijó Ortolani	HIS Scoring Qualifiers - A Novel Gathering Expert Map-based Weighting Scheme from Survey.	HEALTHINF	2015	DBLP BibTeX RDF
27	Andrew L. Newton, Geoff Huston	Policy Qualifiers in Resource Public Key Infrastructure (RPKI) Certificates.	RFC	2014	DBLP DOI BibTeX RDF
27	Yasunori Ishihara, Nobutaka Suzuki, Kenji Hashimoto, Shougo Shimizu, Toru Fujiwara	XPath Satisfiability with Parent Axes or Qualifiers Is Tractable under Many of Real-World DTDs.	DBPL	2013	DBLP BibTeX RDF
27	Alan L. Rector, Luigi Iannone	Lexically suggest, logically define: Quality assurance of the use of qualifiers and expected results of post-coordination in SNOMED CT.	J. Biomed. Informatics	2012	DBLP DOI BibTeX RDF
27	Mike Samuel, Prateek Saxena, Dawn Song	Context-sensitive auto-sanitization in web templating languages using type qualifiers.	CCS	2011	DBLP DOI BibTeX RDF
27	Martin Krallinger	Importance of negations and experimental qualifiers in biomedical literature.	NeSp-NLP@ACL	2010	DBLP BibTeX RDF
27	Madhu Ramanathan, Srikant Rajagopal, S. Venkatesh Karthik, Meenakshi Sundaram Murugeshan, Saswati Mukherjee	A Recursive Approach to Entity Ranking and List Completion Using Entity Determining Terms, Qualifiers and Prominent n-Grams.	INEX	2009	DBLP DOI BibTeX RDF
27	Maurizio Mancini, Catherine Pelachaud	Dynamic Behavior Qualifiers for Conversational Agents.	IVA	2007	DBLP DOI BibTeX RDF
27	Jurriaan Hage, Stefan Holdermans, Arie Middelkoop	A generic usage analysis with subeffect qualifiers.	ICFP	2007	DBLP DOI BibTeX RDF	uniqueness typing, type and effect systems, qualified types, sharing analysis
27	Reijo Savolainen	Spatial factors as contextual qualifiers of information seeking.	Inf. Res.	2006	DBLP BibTeX RDF
27	Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz 0001, Karl N. Levitt, Matt Bishop	Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs.	DIMVA	2006	DBLP DOI BibTeX RDF
27	Wataru Okamoto, Shun'ichi Tano, Atsushi Inoue, Ryosuke Fujioka	A Generalized Inference Method for Natural Language Propositions Involving Fuzzy Quantifiers and Truth Qualifiers.	FUZZ-IEEE	2005	DBLP DOI BibTeX RDF
27	Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David A. Wagner 0001	Detecting Format String Vulnerabilities with Type Qualifiers.	USENIX Security Symposium	2001	DBLP BibTeX RDF
27	Gloria Bordogna, Gabriella Pasi	Modeling linguistic qualifiers of uncertainty in a fuzzy database.	Int. J. Intell. Syst.	2000	DBLP DOI BibTeX RDF
27	Gloria Bordogna, Gabriella Pasi	Linguistic Qualifiers of Vagueness and Uncertainty in a Fuzzy Object Oriented Data Model.	IIA/SOCO	1999	DBLP BibTeX RDF
27	Mingsheng Ying, Bernadette Bouchon-Meunier	Quantifiers, modifiers and qualifiers in fuzzy logic.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
26	Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein	Enforcing and validating user-defined programming disciplines.	PASTE	2007	DBLP DOI BibTeX RDF	pluggable type systems, programming disciplines, type-and-effect systems, type qualifiers
26	Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh	Applying flow-sensitive CQUAL to verify MINIX authorization check placement.	PLAS	2006	DBLP DOI BibTeX RDF	CQUAL, static analysis, type qualifiers, MINIX
26	John Kodumal, Alexander Aiken	The set constraint/CFL reachability connection in practice.	PLDI	2004	DBLP DOI BibTeX RDF	flow analysis, type qualifiers, set constraints, context-free language reachability
26	Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi	Checking and inferring local non-aliasing.	PLDI	2003	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity
17	Jeany Seto, Shane Clement, David Duong, Keivan Kianmehr, Reda Alhajj	Fuzzy Query Model for XML Documents.	IDEAL	2009	DBLP DOI BibTeX RDF	Structured Databases, Java, Fuzzy Logic, GUI, XQuery, XML Documents
17	Christian Haack, Erik Poll	Type-Based Object Immutability with Flexible Initialization.	ECOOP	2009	DBLP DOI BibTeX RDF
17	Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala	Type-based data structure verification.	PLDI	2009	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
17	Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto, Toru Fujiwara	A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes.	DBPL	2009	DBLP DOI BibTeX RDF
17	Sriram Srinivasan 0002, Alan Mycroft	Kilim: Isolation-Typed Actors for Java.	ECOOP	2008	DBLP DOI BibTeX RDF
17	Salvatore Greco, Benedetto Matarazzo, Roman Slowinski	Dominance-Based Rough Set Approach as a Proper Way of Handling Graduality in Rough Set Theory.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
17	Amine Aït Younes, Isis Truck, Herman Akdag	Image Retrieval using Fuzzy Representation of Colors.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Dominant colors, Human computer interaction, Image classification, Color spaces, Fuzzy membership functions
17	Sven De Labey, Marko van Dooren, Eric Steegmans	ServiceJ A Java Extension for ProgrammingWeb Services Interactions.	ICWS	2007	DBLP DOI BibTeX RDF
17	Michal Lentner, Krzysztof Stencel, Kazimierz Subieta	Semi-strong Static Type Checking of Object-Oriented Query Languages.	SOFSEM	2006	DBLP DOI BibTeX RDF
17	Lori A. Flynn, Hans-Peter Dommel	The QuORRUM Protocol: Efficient Tree Repair for Qualification-Based Multicast.	QSHINE	2005	DBLP DOI BibTeX RDF	Multicast tree formation and repair, sparsemode protocols, QoS routing
17	Tim Fox, Lou Covey, Susan Mack, David Heacock, Ed P. Huijbregts, Vess Johnson, Avner Kornfeld, Andrew Yang, Paul S. Zuchowski	Should our power approach be current?	DAC	2005	DBLP DOI BibTeX RDF	low-power design, energy consumption, power analysis, leakage current, dynamic power, static power
17	Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	A Formal Framework for Reasoning on UML Class Diagrams.	ISMIS	2002	DBLP DOI BibTeX RDF
17	Martin Gogolla, Mark Richters	Expressing UML Class Diagrams Properties with OCL.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
17	Frédérique Laforest, Anne Tchounikine	Indexing Semi-Structured Documents for Context-Based Information Retrieval in a Medical Information System.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	information retrieval, pattern matching, electronic documents, patient record
17	Partha S. Roop, Arcot Sowmya	Hidden time model for specification and verification of embedded systems.	ECRTS	1998	DBLP DOI BibTeX RDF