Search results for "Resolution Rules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Young-Min Ahn, Seung-Eun Shin, Hee-Geun Park, Hyungsuk Ji, Young-Hoon Seo	A Korean Part-of-Speech Tagging System Using Resolution Rules for Individual Ambiguous Word.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Resolution Rules, Tagging, Part-of-Speech
1	Lan Zhang, Ullrich Hustadt, Clare Dixon	A Refined Resolution Calculus for CTL.	CADE	2009	DBLP DOI BibTeX RDF
1	Denis Berthier	From Constraints to Resolution Rules Part II : chains, braids, confluence and T&E.	SCSS	2008	DBLP DOI BibTeX RDF
1	Denis Berthier	From Constraints to Resolution Rules Part I : conceptual framework.	SCSS	2008	DBLP DOI BibTeX RDF
1	Yu-mei Wang, Jian Qin, Rong-jun Li, Jia-Jia Wen	Managing feature interaction based on service broker in IP multimedia subsystem.	Mobility Conference	2008	DBLP DOI BibTeX RDF	feature interaction, IP multimedia subsystem (IMS), service broker
1	Stefan D. Bruda, Yuanqiao Zhang	Why shared memory matters to VLSI design: The BSR is as powerful as reconfiguration.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Artem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang	Scientific Workflow Provenance Querying with Security Views.	WAIM	2008	DBLP DOI BibTeX RDF
1	Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup	Open multi-methods for c++.	GPCE	2007	DBLP DOI BibTeX RDF	open-methods, object oriented programming, C++, generic programming, multiple dispatch, multi-methods
1	Jarernsri L. Mitrpanont, Urairat Limkonglap	Using Contour Analysis to Improve Feature Extraction in Thai Handwritten Character Recognition Systems.	CIT	2007	DBLP DOI BibTeX RDF
1	Estela Saquete, Patricio Martínez-Barco, Rafael Muñoz, Matteo Negri, Manuela Speranza, Renzo Sprugnoli	Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora.	TIME	2006	DBLP DOI BibTeX RDF
1	Tom Mens, Ragnhild Van Der Straeten, Maja D'Hondt	Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Joseph J. C. Chang, Robert J. Walker	Incomplete resolution of references in Eclipse.	ETX	2005	DBLP DOI BibTeX RDF
1	Artie Basukoski, Alexander Bolotov	Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity.	TIME	2005	DBLP DOI BibTeX RDF
1	Youngseok Lee, YounSoo Kim, Hoon Choi	Conflict Resolution of Data Synchronization in Mobile Environment.	ICCSA	2004	DBLP DOI BibTeX RDF
1	Frank Plastria, Emilio Carrizosa	Optimal location and design of a competitive facility.	Math. Program.	2004	DBLP DOI BibTeX RDF	competitive location, facility design, maxcovering, minquantile, biobjective, consumer behaviour
1	Jianxiong Pang, Lynne Blair	An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	auto adaptive systems, feature/aspect interaction detection and resolution, LTS (Labelled Transition Systems), model checking, aspect-oriented programming, reflection, run time manager
1	Anatoli Degtyarev, Michael Fisher, Boris Konev	A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Michael Fisher, Clare Dixon, Martin Peim	Clausal temporal resolution.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	temporal logic, theorem proving, resolution
1	Harald Ganzinger, Viorica Sofronie-Stokkermans	Chaining Techniques for Automated Theorem Proving in Many-Valued Logics. (PDF / PS)	ISMVL	2000	DBLP DOI BibTeX RDF	chaining calculi, resolution, many-valued logic, automated theorem proving, superposition
1	Alexander Bolotov, Clare Dixon	Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. (PDF / PS)	TIME	2000	DBLP DOI BibTeX RDF	loop detection algorithm, temporal logics, resolution, automated deduction, branching-time
1	Hiromi Nakaiwa	Automatic Extraction of Rules for Anaphora Resolution of Japanese Zero Pronouns in Japanese-English Machine Translation from Aligned Sentence Pairs.	Machine Translation	1999	DBLP DOI BibTeX RDF	bilingual corpus, zero pronouns, alignment, rule extraction, English, Japanese, anaphora resolution, MT
1	Hans Jürgen Ohlbach	Combining Hilbert Style and Semantic Reasoning in a Resolution Framework.	CADE	1998	DBLP BibTeX RDF
1	Lei Zhou, Elke A. Rundensteiner, Kang G. Shin	Schema Evolution of an Object-Oriented Real-Time Database System for Manufacturing Automation.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	envelope/letter classes, letter-class hierarchy, performance polymorphism, real-time, database, object oriented, Data model, schema evolution
1	Eike Ritter, David J. Pym, Lincoln A. Wallen	Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).	CADE	1996	DBLP DOI BibTeX RDF
1	Grigori Mints	Gentzen-type systems and resolution rules. Part I. Propositional logic.	Conference on Computer Logic	1988	DBLP DOI BibTeX RDF
1	Zohar Manna, Richard J. Waldinger	Special relations in automated deduction.	J. ACM	1986	DBLP DOI BibTeX RDF
1	Zohar Manna, Richard J. Waldinger	Deduction with Relation Matching.	FSTTCS	1985	DBLP DOI BibTeX RDF
1	Zohar Manna, Richard J. Waldinger	Special Relations in Automated Deduction.	ICALP	1985	DBLP DOI BibTeX RDF