Search results for "literal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Takao Waho, Kevin J. Chen, Masafumi Yamamoto	A Literal Gate Using Resonant-Tunneling Devices.	ISMVL	1996	DBLP DOI BibTeX RDF	Resonant tunneling, quantum effect, HEMT, RTD, literal
83	Christoph Wernhard	Literal Projection for First-Order Logic.	JELIA	2008	DBLP DOI BibTeX RDF
83	Stefan Szeider	NP-Completeness of Refutability by Literal-Once Resolution.	IJCAR	2001	DBLP DOI BibTeX RDF
72	Takahiro Hanyu, Manabu Arakaki, Michitaka Kameyama	One-Transistor-Cell 4-Valued Universal-Literal CAM for Cellular Logic Image Processing.	ISMVL	1997	DBLP DOI BibTeX RDF	cellular logic image processing, template-matching operations, universal literal, threshold operation, multi-layer interconnectio, parallel template-matching, one-transistor-cell, content-addressable memory, cellular logic
62	Jing Shen, Koichi Tanno, Okihiko Ishizuka	Down Literal Circuit with Neuron-MOS Transistors and Its Applications.	ISMVL	1999	DBLP DOI BibTeX RDF
62	Takahiro Hanyu, Manabu Arakaki, Michitaka Kameyama	Quaternary Universal-Literal CAM for Cellular Logic Image Processing.	ISMVL	1996	DBLP DOI BibTeX RDF	content addressable memory(CAM), universal literal, threshold programming, floating-gate MOS transistor, multiple-valued logic
53	T. Utsumi, Naotake Kamiura, Yutaka Hata, Kazuharu Yamato	Multiple-Valued Programmable Logic Arrays with Universal Literals.	ISMVL	1997	DBLP DOI BibTeX RDF	universal literals, multiple-valued programmable logic, universal literal generators, operator structures, programmable logic arrays, programmable logic arrays
51	Alexander F. Gelbukh, Igor A. Bolshakov	On Correction of Semantic Errors in Natural Language Texts with a Dictionary of Literal Paronyms.	AWIC	2004	DBLP DOI BibTeX RDF
51	Javier Álvez, Paqui Lucio, Fernando Orejas	Constructive negation by bottom-up computation of literal answers.	SAC	2004	DBLP DOI BibTeX RDF	bottom-up operators, equality constraint solving, implementation, operational semantics, constructive negation
51	Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You	Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison.	AI	2002	DBLP DOI BibTeX RDF
42	Hans Kleine Büning, Daoyun Xu	The complexity of homomorphisms and renamings for minimal unsatisfiable formulas.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	minimal unsatisfiable formula, complexity, graph isomorphism, homomorphism, renaming
42	Dusan Guller	Procedural Semantics for Fuzzy Disjunctive Programs.	LPAR	2002	DBLP DOI BibTeX RDF	multivalued logic programming, logic in artificial intelligence, fuzzy logic, knowledge representation and reasoning, model theory, disjunctive logic programming
42	Chengzhi Zhang, Xiaoqin Xu, Xinning Su	Query Similarity Computing Based on System Similarity Measurement.	ICCPOL	2006	DBLP DOI BibTeX RDF	similarity unit, system similarity measuring, literal similarity, semantic similarity, query clustering, query similarity
42	Chuang Lin 0002, Abhijit Chaudhury, Andrew B. Whinston, Dan C. Marinescu	Logical Inference of Horn Clauses in Petri Net Models.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	net model, logical inconsistency check, T-invariants, one-literal, pure-literal, splitting clauses, Petri nets, inference mechanisms, resolution, propositional logic, Horn clauses, Horn clauses, Petri net models, first-order predicate logic, logical inference
41	Marzena Kryszkiewicz	Non-Derivable Item Set and Non-Derivable Literal Set Representations of Patterns Admitting Negation.	DaWaK	2009	DBLP DOI BibTeX RDF
41	Ondrej Klíma 0001, Libor Polák	Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups.	LATA	2008	DBLP DOI BibTeX RDF	MSC 2000 Classification 68Q45 Formal languages and automata
41	Toshiro Takase, Keishi Tajima	Lazy XML Parsing/Serialization Based on Literal and DOM Hybrid Representation.	ICWS	2008	DBLP DOI BibTeX RDF
41	Nobuaki Okada, Michitaka Kameyama	Fine-Grain Multiple-Valued Reconfigurable VLSI Using Universal-Literal-Based Cells.	ISMVL	2008	DBLP DOI BibTeX RDF	Field-programmable VLSI, Multiple-valued source-coupled logic, Differential-Pair circuit, Bit-serial architecture
41	Alberto Bertoni, Christian Choffrut, Roberto Radicioni	Literal Shuffle of Compressed Words.	IFIP TCS	2008	DBLP DOI BibTeX RDF
41	Colin Cooper, Alan M. Frieze, Gregory B. Sorkin	Random 2-SAT with Prescribed Literal Degrees.	Algorithmica	2007	DBLP DOI BibTeX RDF
41	Motoi Inaba	Experiment Result of Down Literal Circuit and Analog Inverter on CMOS Double-Polysilicon Process.	ISMVL	2007	DBLP DOI BibTeX RDF
41	Man Fai Lau, Ying Liu, Yuen-Tak Yu	Detecting Double Faults on Term and Literal in Boolean Expressions.	QSIC	2007	DBLP DOI BibTeX RDF
41	Henrik Schärfe	CG Representations of Non-literal Expressions.	ICCS	2002	DBLP DOI BibTeX RDF
41	Marcus Kracht	Strict Compositionality and Literal Movement Grammars.	LACL	1998	DBLP DOI BibTeX RDF
41	Jan Johannsen	The Complexity of Pure Literal Elimination.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	pure literal, computational complexity, completeness
39	Stefan Hoffmann 0001	The n-ary Initial Literal and Literal Shuffle.	CoRR	2021	DBLP BibTeX RDF
39	Stefan Hoffmann 0001	The n-ary Initial Literal and Literal Shuffle.	Stringology	2021	DBLP BibTeX RDF
39	Chengpeng Fu, Jinqiang Wang, Jitao Sang, Jian Yu, Changsheng Xu	Beyond Literal Visual Modeling: Understanding Image Metaphor Based on Literal-Implied Concept Mapping.	MMM (1)	2020	DBLP DOI BibTeX RDF
39	Maximilian Köper, Sabine Schulte im Walde	Distinguishing Literal and Non-Literal Usage of German Particle Verbs.	HLT-NAACL	2016	DBLP DOI BibTeX RDF
39	Renato A. Lewin, Irene F. Mikenberg	First order theory for literal-paraconsistent and literal-paracomplete matrices.	Math. Log. Q.	2010	DBLP DOI BibTeX RDF
39	Linlin Li 0001, Caroline Sporleder	Linguistic Cues for Distinguishing Literal and Non-Literal Usages.	COLING (Posters)	2010	DBLP BibTeX RDF
39	Caroline Sporleder, Linlin Li 0001	Unsupervised Recognition of Literal and Non-Literal Use of Idiomatic Expressions.	EACL	2009	DBLP BibTeX RDF
39	Linlin Li 0001, Caroline Sporleder	A Cohesion Graph Based Approach for Unsupervised Recognition of Literal and Non-literal Use of Multiword Expressions.	Graph-based Methods for Natural Language Processing	2009	DBLP BibTeX RDF
39	Eduardo Hirsh, Renato A. Lewin	Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices.	Math. Log. Q.	2008	DBLP DOI BibTeX RDF
39	Renato A. Lewin, Irene F. Mikenberg	Literal-paraconsistent and literal-paracomplete matrices.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
39	Guergana Savova, Michael Schonwetter, Sergey V. Pakhomov	Improving language model perplexity and recognition accuracy for medical dictations via within-domain interpolation with literal and semi-literal corpora.	INTERSPEECH	2000	DBLP DOI BibTeX RDF
39	Steven L. Lytinen, Robert R. Burridge, Jeffrey D. Kirtner	The Role of Literal Meaning in the Comprehension of Non-Literal Constructions.	Comput. Intell.	1992	DBLP DOI BibTeX RDF
32	Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Francesco Ricca	On look-ahead heuristics in disjunctive logic programming.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
32	Thomas Lukasiewicz	Tractable Probabilistic Description Logic Programs.	SUM	2007	DBLP DOI BibTeX RDF
32	Alejandro Javier García, Nicolás D. Rotstein, Guillermo Ricardo Simari	Dialectical Explanations in Defeasible Argumentation.	ECSQARU	2007	DBLP DOI BibTeX RDF
32	Rudi Cilibrasi, Paul M. B. Vitányi	Similarity of Objects and the Meaning of Words.	TAMC	2006	DBLP DOI BibTeX RDF
32	Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella	Watched Data Structures for QBF Solvers.	SAT	2003	DBLP DOI BibTeX RDF
32	Alexis C. Kaporis, Lefteris M. Kirousis, Efthimios G. Lalas	The Probabilistic Analysis of a Greedy Satisfiability Algorithm.	ESA	2002	DBLP DOI BibTeX RDF
32	Prabhakar Kudva, Andrew Sullivan, William E. Dougherty	Metrics for structural logic synthesis.	ICCAD	2002	DBLP DOI BibTeX RDF
32	Enrico Giunchiglia, Marco Maratea, Armando Tacchella	Dependent and Independent Variables in Propositional Satisfiability.	JELIA	2002	DBLP DOI BibTeX RDF
32	Chris J. Myers, Hans M. Jacobson	Efficient Exact Two-Level Hazard-Free Logic Minimization.	ASYNC	2001	DBLP DOI BibTeX RDF
32	Gilles Audemard, Belaid Benhamou, Pierre Siegel	AVAL: An Enumerative Method for SAT.	Computational Logic	2000	DBLP DOI BibTeX RDF	satisfiability, enumeration, deduction
32	Santanu Chattopadhyay, Samir Roy, Parimal Pal Chaudhuri	KGPMIN: an efficient multilevel multioutput AND-OR-XOR minimizer.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
32	A. K. Jain, Mostafa I. H. Abd-El-Barr, R. J. Bolton	Current-Mode CMOS Multiple-Valued Logic Function Realization Using a Direct Cover Algorithm.	ISMVL	1995	DBLP DOI BibTeX RDF	current-mode CMOS multiple-valued logic function realization, heuristic based programs, sum of product form expression, HAMLET, Gold heuristic, current mode CMOS, multiple valued logic function realization, direct cover algorithm, logic design, random sample, multivalued logic, CMOS logic circuits, heuristic programming, MVL function
32	Nadir Farah, Labiba Souici, Mokhtar Sellami 0001	Arabic Word Recognition by Classifiers and Context.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	multiclassifier systems, Arabic literal amounts, handwriting recognition, contextual knowledge
32	Takahiro Hozumi, Osamu Kakusho, Yutaka Hata	The Output Permutation for the Multiple-Valued Logic Minimization with Universal Literals.	ISMVL	1999	DBLP DOI BibTeX RDF	universal literal, output permutation, current-mode CMOS circuits, logic synthesis, cost reduction
32	K. S. Ng, Lee-Ming Cheng, C. H. Wong	Dynamic word based text compression.	ICDAR	1997	DBLP DOI BibTeX RDF	dynamic word based text compression, back searching algorithm, storage protocol, copy codes, literal codes, hybrid codes, space character, data compression, redundancy, hashing function, encoding, decoding, message, dictionaries
32	Chih-Hung Wu, Shie-Jue Lee	On parallelism of hyper-linking theorem proving: a preliminary report.	ICPADS	1996	DBLP DOI BibTeX RDF	hyper-linking theorem proving, hyper-linking proof procedure, phase-level, clause-level, literal-level, search level parallelism, parallel strategies, parallel algorithms, parallelism, artificial intelligence, parallel architectures, theorem proving
32	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Program dependence analysis of concurrent logic programs and its applications.	ICPADS	1996	DBLP DOI BibTeX RDF	program dependence analysis, language-independent program representations, dependence-based program representation, Literal Dependence Net, software engineering, testing, parallel programming, logic programming, software maintenance, debugging, software metrics, programming environments, programming environment, maintenance, program slicing, formal model, program debugging, data flows, control flows, complexity measurement, concurrent logic programs
32	Hao Tang, Hung Chang Lin	Multi-Valued Decoder Based on Resonant Tunneling Diodes in Current Tapping Mode.	ISMVL	1996	DBLP DOI BibTeX RDF	multi-valued decoder, current tapping mode, single peaked RTD sections, single literal function, simulation, decoding, circuit analysis computing, multivalued logic circuits, resonant tunnelling diodes, resonant tunneling diodes
32	Shoujue Wang, Xunwei Wu, Hongjuan Feng	The High-Speed Ternary Logic Gates Based on the Multiple beta Transistors.	ISMVL	1995	DBLP DOI BibTeX RDF	high speed ternary logic gates, multiple /spl beta/ transistors, multiple emitter transistor, current gain, linear AND/OR gates, multi valued literal circuits, high speed multi valued logic circuits, multivalued logic circuits, logic gates, ternary logic, transistors
32	George Saon, Abdel Belaïd, Yifan Gong 0001	Stochastic trajectory modeling for recognition of unconstrained handwritten words.	ICDAR	1995	DBLP DOI BibTeX RDF	stochastic trajectory modeling, unconstrained handwritten word recognition, off-line handwritten word recognition, literal french check amounts, conditional probability distributions, internal character segmentation algorithm, global word probability measure, stochastic grammar, a priori grammar generation probability, image segmentation, probability, optical character recognition, handwriting recognition, stochastic processes
30	Mohanned Momani, Jamil Faraj	A Novel Algorithm to Extract Tri-Literal Arabic Roots.	AICCSA	2007	DBLP DOI BibTeX RDF
30	Paulemir G. Campos, Teresa Bernarda Ludermir	Literal and ProRulext: Algorithms for Rule Extraction of ANNs.	HIS	2005	DBLP DOI BibTeX RDF
30	Michael Molloy 0001	The pure literal rule threshold and cores in random hypergraphs.	SODA	2004	DBLP BibTeX RDF
30	Soo Jin Park, Byoung Hee Yoon, Kwang Sub Yoon, Heung Soo Kim	Design of Quaternary Logic Gate Using Double Pass-Transistor Logic with Neuron MOS Down Literal Circuit.	ISMVL	2004	DBLP DOI BibTeX RDF
30	Nadir Farah, Labiba Souici, Lotfi Farah, Mokhtar Sellami 0001	Arabic Words Recognition with Classifiers Combination: An Application to Literal Amounts.	AIMSA	2004	DBLP DOI BibTeX RDF	Multiclassifier system, combiner, holistic approach, syntactic analysis
30	Yinghui Xu, Kyoji Umemura	A unified model of literal mining and link analysis for ranking web resources.	SIGIR	2004	DBLP DOI BibTeX RDF	virtual document (VD), language modeling, PageRank
30	Nilesh Modi, Jordi Cortadella	Boolean Decomposition Using Two-literal Divisors.	VLSI Design	2004	DBLP DOI BibTeX RDF
30	Noboru Takagi, Kyoichi Nakashima	Hyperoperations on {0, 1, 2} Based on Min, Max, and Universal Literal Operations.	ISMVL	2003	DBLP DOI BibTeX RDF
30	Colin Cooper, Alan M. Frieze, Gregory B. Sorkin	A note on random 2-SAT with prescribed literal degrees.	SODA	2002	DBLP BibTeX RDF
30	Marco Benedetti	Conditional Pure Literal Graphs.	IJCAR	2001	DBLP DOI BibTeX RDF
30	Maud Champagne, Jacques Virbel, Jean-Luc Nespoulous	The Differential (?) Processing of Literal and Nonliteral Speech Acts: A Psycholinguistic Approach.	CONTEXT	1999	DBLP DOI BibTeX RDF
30	Chip-Hong Chang, Bogdan J. Falkowski	Reed-Muller weight and literal vectors for NPN classification.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
30	Rolf-Dieter Bippus	1-Dimensional and Pseudo 2-Dimensional HMMs for the Recognition of German Literal Amounts.	ICDAR	1997	DBLP DOI BibTeX RDF	pseudo 2-dimensional HMMs, script normalization, features for cursive script recognition, duration modeling, HMMs, cursive script recognition
21	Sebastian Boring, Dominikus Baur, Andreas Butz, Sean Gustafson, Patrick Baudisch	Touch projector: mobile interaction through video.	CHI	2010	DBLP DOI BibTeX RDF	augmented reality, mobile device, interaction techniques, input device, multi-touch, multi-display environments
21	Mustafa Altun, Marc D. Riedel	Lattice-based computation of Boolean functions.	DAC	2010	DBLP DOI BibTeX RDF	lattice duality, Boolean functions, lattices, switching circuits
21	Yi-Ting Chen, Berlin Chen, Hsin-Min Wang	A Probabilistic Generative Framework for Extractive Broadcast News Speech Summarization.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
21	Mona T. Diab, Madhav Krishna	Unsupervised Classification of Verb Noun Multi-Word Expression Tokens.	CICLing	2009	DBLP DOI BibTeX RDF
21	Gayathri Namasivayam, Miroslaw Truszczynski	Simple Random Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
21	Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes	Exploiting Cycle Structures in Max-SAT.	SAT	2009	DBLP DOI BibTeX RDF
21	Jaeseok Myung, Jung-Yeon Yang, Sang-goo Lee	PicAChoo: a tool for customizable feature extraction utilizing characteristics of textual data.	ICUIMC	2009	DBLP DOI BibTeX RDF	complex feature, customizable feature extraction, feature storing model
21	Nadia Creignou, Heribert Vollmer	Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
21	Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera	Analysis and reduction of memory inefficiencies in Java strings.	OOPSLA	2008	DBLP DOI BibTeX RDF	footprint analysis and reduction, java, garbage collection, memory management, string
21	Stefan Petrik, Franz Pernkopf	Automatic phonetics-driven reconstruction of medical dictations on multiple levels of segmentation.	ICASSP	2008	DBLP DOI BibTeX RDF
21	K. Subramani 0001	Absorbing Random Walks and the NAE2SAT Problem.	FAW	2008	DBLP DOI BibTeX RDF
21	Jonathan Lung, Jorge Aranda, Steve M. Easterbrook, Gregory V. Wilson	On the difficulty of replicating human subjects studies in software engineering.	ICSE	2008	DBLP DOI BibTeX RDF	replication, experience report, empirical, human subjects
21	Nobuaki Okada, Michitaka Kameyama	Low-Power Multiple-Valued Reconfigurable VLSI Using Series-Gating Differential-Pair Circuits.	ISMVL	2007	DBLP DOI BibTeX RDF
21	Wu Chen, Norman Y. Foo, Mingyi Zhang	Forgetting in Logic Programs with Ordered Disjunction.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
21	Paolo Liberatore	Complexity results on DPLL and resolution.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Davis-Putnam, NP-completeness, propositional satisfiability
21	Gábor Kusper	Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model.	KI	2006	DBLP DOI BibTeX RDF
21	Johannes Leveling, Dirk Veiel	Experiments on the Exclusion of Metonymic Location Names from GIR.	CLEF	2006	DBLP DOI BibTeX RDF
21	Gábor Kusper	Solving the resolution-free SAT problem by submodel propagation in linear time.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	resolution-free SAT, submodel propagation, Unicorn-SAT, SAT
21	Man Fai Lau, Yuen-Tak Yu	An extended fault class hierarchy for specification-based testing.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	Fault class analysis, software testing, test case generation, specification-based testing
21	Vineet Agarwal, Navneeth Kankani, Ravishankar Rao, Sarvesh Bhardwaj, Janet Meiling Wang	An efficient combinationality check technique for the synthesis of cyclic combinational circuits.	ASP-DAC	2005	DBLP DOI BibTeX RDF
21	Prabhakar Kudva, Andrew Sullivan, William E. Dougherty	Measurements for structural logic synthesis optimizations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
21	Thomas Eiter, Kazuhisa Makino	Abduction and the Dualization Problem.	Discovery Science	2003	DBLP DOI BibTeX RDF	monotone dualization, Horn functions, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, hypergraph transversals
21	Michael Alekhnovich, Eli Ben-Sasson	Linear Upper Bounds for Random Walk on Small Density Random 3-CNF.	FOCS	2003	DBLP DOI BibTeX RDF
21	Kenneth K. C. Lee, Karl-Erwin Großpietsch, Y. K. Chan	An Alternative Superscalar Architecture with Integer Execution Units Only.	APPT	2003	DBLP DOI BibTeX RDF
21	Guoqiang Pan, Moshe Y. Vardi	Optimizing a BDD-Based Modal Solver.	CADE	2003	DBLP DOI BibTeX RDF
21	Oliver Kullmann	The Combinatorics of Conflicts between Clauses.	SAT	2003	DBLP DOI BibTeX RDF
21	Sung Il Han, Young Hee Choi, Hyeon Kyeong Seong, Heung-Soo Kim	A Study on the Design of Flash Analog to Quaternary Converter Using DLC Comparator.	ISMVL	2003	DBLP DOI BibTeX RDF
21	Enrico Giunchiglia, Marco Maratea, Armando Tacchella	(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.	CP	2003	DBLP DOI BibTeX RDF
21	Hans M. Jacobson, Chris J. Myers	Efficient algorithms for exact two-level hazard-free logic minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
21	Shanzhen Yi, Bo Huang 0001, Weng Tat Chan	Spatio-Temporal Information Integration in XML.	WISE Workshops	2002	DBLP DOI BibTeX RDF