Tag completion [74 articles] Export

Recent papers classified by the tag completion.

	Stochastic Completion Fields: A Neural Model of Illusory Contour Shape and Salience [My Copy] Neural Computation, Vol. 9, No. 4. (1 May 1997), pp. 837-858. by Lance R. Williams, David W. Jacobs posted to random_walk model illusory_contours completion boundary by timotay on 2009-11-10 16:55:09 as
	Normalised Rewriting and Normalised Completion [My Copy] In Logic in Computer Science (1994), pp. 394-403. by Claude Marche posted to algorithms completion normalised_rewriting theory by p2p01 on 2009-04-20 16:38:59 as along with 2 people blog01 radico
	Form completion across a hemianopic boundary: behindsight? [My Copy] Neuropsychologia, Vol. 44, No. 8. (2006), pp. 1269-1281. by R. A. McCarthy, M. James-Galton, G. T. Plant posted to completion hallucinations review visual by nishiokov on 2009-04-07 12:28:44 as
	The completion of visual forms across hemianopic field defects. [My Copy] Journal of neurology, neurosurgery, and psychiatry, Vol. 25 (August 1962), pp. 208-217. by E. K. WARRINGTON posted to completion hallucinations patient visual by nishiokov on 2009-04-07 12:17:26 as
	A parallel completion procedure for term rewriting systems [My Copy] Automated Deduction—CADE-11 (1992), pp. 109-123. by Katherine Yelick, Stephen Garland posted to completion multi-completion by radico on 2009-03-14 13:18:00 as
	The Power of Convex Relaxation: Near-Optimal Matrix Completion [My Copy] (9 Mar 2009) by Emmanuel J. Candes, Terence Tao posted to completion convexity matrix sparse by mdreid on 2009-03-13 00:50:02 as along with 2 people sflammia jleny
	Self-Determination Interventions: Building a Foundation for School Completion [My Copy] Remedial and Special Education, Vol. 28, No. 1. (1 February 2007), pp. 2-8. by Laura T. Eisenman posted to completion motivation review school self-determination by mlovelace on 2009-03-11 20:05:27 as
	Surface reconstruction using local shape priors [My Copy] In SGP '07: Proceedings of the fifth Eurographics symposium on Geometry processing (2007), pp. 253-262. by Ran Gal, Ariel Shamir, Tal Hassner, Mark Pauly, Daniel C. Or posted to completion shape by cgoldfed on 2008-12-12 16:38:09 as
	Model-based reconstruction for creature animation [My Copy] In SCA '02: Proceedings of the 2002 ACM SIGGRAPH/Eurographics symposium on Computer animation (2002), pp. 139-146. by Maryann Simmons, Jane Wilhelms, Allen Van Gelder posted to completion shape by cgoldfed on 2008-12-12 16:36:59 as
	A Model-Based Method For Building Reconstruction [My Copy] In HLK '03: Proceedings of the First IEEE International Workshop on Higher-Level Knowledge in 3D Modeling and Motion Analysis (2003) by Konrad Schindler, Joachim Bauer posted to completion shape by cgoldfed on 2008-12-12 16:35:32 as
	General deformable model approach for model- based reconstruction [My Copy] In Proceedings of the IEEE International Workshop on Model-based 3D Image Analysis, Bambay (1998) by H. Delingette, Johan Montagnat posted to buildings completion shape by cgoldfed on 2008-12-12 16:33:30 as
	On nontermination of Knuth-Bendix algorithm [My Copy] Automata, Languages and Programming (1986), pp. 146-156. by Mikuláš Hermann, Igor Prívara posted to completion divergence by radico on 2008-11-29 14:53:02 as
	Only prime superpositions need be considered in the Knuth-Bendix completion procedure [My Copy] Journal of Symbolic Computation, Vol. 6, No. 1. (August 1988), pp. 19-36. by D. Kapur, D. Musser, P. Narendran posted to completion critical-pair-criteria by radico on 2008-10-17 09:03:27 as
	Critical pair criteria for completion [My Copy] Journal of Symbolic Computation, Vol. 6, No. 1. (August 1988), pp. 1-18. by L. Bachmair, N. Dershowitz posted to completion critical-pair-criteria by radico on 2008-10-17 09:02:03 as
	Completion of a set of rules modulo a set of equations [My Copy] In POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1984), pp. 83-92. by Jean P. Jouannaud, Helene Kirchner posted to ac-completion completion by radico on 2008-10-17 08:36:09 as
	A critical pair criterion for completion modulo a congruence [My Copy] Eurocal '87 (1989), pp. 452-453. by Leo Bachmair, Nachum Dershowitz posted to completion critical-pair-criteria by radico on 2008-10-17 08:16:17 as
	On solving the equality problem in theories defined by Horn clauses [My Copy] Theoretical Computer Science, Vol. 44 (1986), pp. 127-153. by E. Paul posted to completion by radico on 2008-10-17 08:03:31 as
	Canonical forms in finitely presented algebras [My Copy] 7th International Conference on Automated Deduction (1984), pp. 142-165. by Philippe Le Chenadec posted to completion examples by radico on 2008-10-17 07:46:29 as
	Fast Knuth-Bendix completion: Summary [My Copy] Rewriting Techniques and Applications (1989), pp. 551-555. by Jim Christian posted to completion implementation by radico on 2008-10-10 05:39:03 as
	Multi-completion with Termination Tools (System Description) [My Copy] Automated Reasoning (2008), pp. 306-312. by Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp posted to completion multi-completion by radico on 2008-09-02 07:16:07 as
	Neural dynamics of perceptual grouping: textures, boundaries, and emergent segmentations. [My Copy] Percept Psychophys, Vol. 38, No. 2. (August 1985), pp. 141-171. by S. Grossberg, E. Mingolla posted to bcs boundary ccloop completion shunting by timotay on 2008-05-08 07:11:18 as along with 1 person bhamcnil
	Inductive completion for transformation of equational specifications [My Copy] Recent Trends in Data Type Specification (1991), pp. 117-140. by Steffen Lange, Klaus Jantke posted to completion divergence by radico on 2008-04-16 15:18:16 as
	On the Combination of Congruence Closure and Completion [My Copy] Artificial Intelligence and Symbolic Computation (2004), pp. 103-117. by Christelle Scharff, Leo Bachmair posted to completion congruence ground-completion by radico on 2008-04-07 10:08:50 as
	Basic features and development of the critical-pair/completion procedure [My Copy] Rewriting Techniques and Applications (1985), pp. 1-45. by Bruno Buchberger posted to completion survey by radico on 2008-03-31 07:32:36 as
	Some experiments with a completion theorem prover [My Copy] Journal of Symbolic Computation, Vol. 13, No. 1. (January 1992), pp. 81-100. by Ursula Martin, Michael Lai posted to completion examples by radico on 2008-03-28 18:53:44 as
	Some Group Theoretic Examples with Completion Theorem Provers [My Copy] Journal of Automated Reasoning, Vol. 17, No. 2. (1996), pp. 145-169. by Steve Linton, Duncan Shand posted to completion examples by radico on 2008-03-28 18:51:30 as
	Complete equational unification based on an extension of the Knuth-Bendix completion procedure [My Copy] Word Equations and Related Topics (1992), pp. 197-209. by Akihiko Ohsuga, Kô Sakai posted to completion e-unification by radico on 2008-03-25 13:45:04 as
	Scene completion using millions of photographs [My Copy] In SIGGRAPH '07: ACM SIGGRAPH 2007 papers (2007) by James Hays, Alexei A. Efros posted to completion sceneseg by iansimon on 2008-03-18 07:37:22 as along with 1 person tomyun
	Mining Propositional Simplification Proofs for Small Validating Clauses [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005), Vol. 144, No. 2. (19 January 2006), pp. 79-91. by Ian Wehrman, Aaron Stump posted to algebraic-proof-mining application completion by radico on 2008-03-02 05:31:21 as
	Example-based 3D scan completion [My Copy] In SGP '05: Proceedings of the third Eurographics symposium on Geometry processing (2005) by Mark Pauly, Niloy J. Mitra, Joachim Giesen, Markus Gross, Leonidas J. Guibas posted to 3d completion scan by seb314 to the group 3D_segmentation on 2008-02-19 15:53:30 as along with 2 people cgoldfed barrieallen
	Rewriting Methods for Word Problems [My Copy] In Words, Languages \& Combinatorics (Proceedings of the International Colloquium, Kyoto, Japan, August 1990) (1992), pp. 104-118. by Nachum Dershowitz edited by M. Ito posted to completion survey by radico on 2008-01-10 13:13:26 as
	Complete sets of reductions with constraints [My Copy] 10th International Conference on Automated Deduction (1990), pp. 381-395. by Gerald Peterson posted to completion examples unfailing-completion by radico on 2008-01-09 09:33:07 as
	Completion for Multiple Reduction Orderings [My Copy] In RTA, Vol. 914 (1995), pp. 71-85. by Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi edited by Jieh Hsiang, Jieh Hsiang posted to completion multi-completion by radico on 2007-12-17 04:02:25 as
	Consider only general superpositions in completion procedures [My Copy] Rewriting Techniques and Applications (1989), pp. 513-527. by Hantao Zhang, Deepak Kapur posted to completion by radico on 2007-12-11 06:39:37 as
	An overview of completion algorithms [My Copy] EUROCAL '85 (1985), pp. 424-428. by Llopis posted to completion survey by radico on 2007-12-10 11:52:19 as
	Fast Knuth-Bendix completion with a term rewriting system compiler [My Copy] Information Processing Letters, Vol. 32, No. 6. (3 October 1989), pp. 325-328. by Yoshihito Toyama posted to completion trs-compiler by radico on 2007-12-09 07:43:35 as
	Rewrite Systems [My Copy] In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) (1990), pp. 243-320. by Nachum Dershowitz, Jean-Pierre Jouannaud posted to completion rewriting survey termination by radico on 2007-11-21 09:17:45 as along with 5 people and 1 group rgrig jrw scis0000001 ronjferg dara SRG_at_UCD
	Completion for Multiple Reduction Orderings [My Copy] Journal of Automated Reasoning, Vol. 23, No. 1. (1 July 1999), pp. 25-42. by Masahito Kurihara, Hisashi Kondo posted to completion multi-completion by radico on 2007-11-14 07:32:06 as
	Inductive Inference for Solving Divergence in Knuth-Bendix Completion [My Copy] In AII '89: Proceedings of the International Workshop on Analogical and Inductive Inference (1989), pp. 288-303. by Muffy Thomas, Klaus P. Jantke posted to completion divergence by radico on 2007-10-19 15:47:28 as
	The Application of Goal-oriented Heuristics for Proving Equational Theorems via the unfailing Knuth-Bendix Completion Procedure. A Case Study: Lattice Ordered Groups [My Copy] (1994) by Matthias Fuchs posted to completion unfailing-completion by radico on 2007-10-19 14:55:20 as
	Ideal completion and Stone representation of ideal-distributive ordered sets [My Copy] Topology Appl. In Proceedings of the Symposium on General Topology and Applications (Oxford, 1989), Vol. 44, No. 1-3. (1992), pp. 95-113. by Elias David, Marcel Erné posted to completion duality ideal _priv stone by adrian_pigors on 2007-10-11 09:13:46 as along with 1 person Scis0000002
	$\scr Z$-continuous posets and their topological manifestation [My Copy] Appl. Categ. Structures, Vol. 7, No. 1-2. (1999), pp. 31-70. by Marcel Erné posted to closure_space completion continuous_lattice lattice order_theory _priv topology by adrian_pigors on 2007-10-10 13:49:27 as
	Completions of algebras and completeness of modal and substructural logics [My Copy] In Advances in modal logic. Vol. 4 (2003), pp. 335-353. by Hiroakira Ono posted to completion _copy cut_elimination macneille modal_logic substructural_logics by adrian_pigors on 2007-10-08 14:04:31 as
	Canonical completions of lattices and ortholattices [My Copy] Tatra Mt. Math. Publ., Vol. 15 (1998), pp. 85-96. by John Harding posted to canonical_extension completion _copy lattice by adrian_pigors on 2007-10-08 11:00:10 as
	MacNeille completions and canonical extensions [My Copy] Trans. Amer. Math. Soc., Vol. 358, No. 2. (2006), pp. 573-590 (electronic). by Mai Gehrke, John Harding, Yde Venema posted to canonical_extension completion _copy lattice macneille by adrian_pigors on 2007-10-08 10:25:43 as
	Completions for partially ordered semigroups [My Copy] Semigroup Forum, Vol. 34, No. 3. (1987), pp. 253-285. by M. Erné, J. Z. Reichman posted to closure_system completion _priv residuation semigroup by adrian_pigors on 2007-10-05 16:34:44 as
	Residuated completions of generalized semitopological semigroups [My Copy] In Proceedings of the International Symposium on the Semigroup Theory and its Related Fields (Kyoto, 1990) (1990), pp. 63-83. by Marcel Erné posted to category_theory closure_system completion _priv residuation semigroup by adrian_pigors on 2007-10-05 16:31:46 as
	The Dedekind-MacNeille completion as a reflector [My Copy] Order, Vol. 8, No. 2. (1991), pp. 159-173. by Marcel Erné posted to category_theory complete_lattice completion cut cut-continuous dedekind morphism _priv by adrian_pigors on 2007-10-05 16:15:44 as
	Abstract Congruence Closure [My Copy] Journal of Automated Reasoning, Vol. 31, No. 2. (1 October 2003), pp. 129-168. by Leo Bachmair, Ashish Tiwari, Laurent Vigneron posted to completion congruence by radico on 2007-10-02 09:06:07 as along with 1 person robertjohnsimmons
	A finite thue system with decidable word problem and without equivalent finite canonical system [My Copy] Theoretical Computer Science, Vol. 35 (1985), pp. 337-344. by Deepak Kapur, Paliath Narendran posted to completion example by radico on 2007-09-19 06:48:14 as

Note: You may cite this page as: http://www.citeulike.org/tag/completion

Result page: 1 2 Next

divergence	8
examples	6
unfailing-completion	6
_priv	5
shape	5
ac-completion	4
multi-completion	4
survey	4
_copy	3
application	3
critical-pair-criteria	3
example	3
lattice	3
termination	3
3d	2
boundary	2
canonical_extension	2
category_theory	2
closure_system	2
congruence	2
hallucinations	2
inductive-theorem	2
macneille	2
residuation	2
review	2
scan	2
semigroup	2
topology	2
trs	2
visual	2
ac-unification	1
activity	1
algebraic-proof-mining	1
algorithms	1
bcs	1
belief	1
buildings	1
ccloop	1
cholesterol	1
cholesterol_esterase	1
chu-space	1
closure_space	1
complete_lattice	1
continuous_lattice	1
convexity	1
corpus	1
cut	1
cut-continuous	1
cut_elimination	1
database	1
dedekind	1
deformation	1
dependency-pair	1
domain-theory	1
duality	1
dynamic	1
e-unification	1
embedding	1
enzyme	1
fca	1
generalized-ultrametric-space	1
ground-completion	1
ideal	1
illusory_contours	1
implementation	1
implicit-induction	1
information-geometry	1
matrix	1
modal_logic	1
model	1
morphism	1
motivation	1
normalised_rewriting	1
order_theory	1
p-adic	1
patient	1
priority	1
program-fusion	1
propagation	1
pruning	1
random_walk	1
range_scan	1
rewriting	1
sceneseg	1
scheduling	1
school	1
self-determination	1
semantic-labelling	1
shape_matching	1
shunting	1
sparse	1
stone	1
substructural_logics	1
synthesis	1
theory	1
transformation	1
trs-compiler	1
ultrametric	1
ultrametric-space	1

Tag completion [74 articles] Export

Related Tags