Results 271 to 280 of about 218,039 (317)
Some of the next articles are maybe not open access.
1997
This paper presents an extension of Gentzen's LK, called L PG K, which is suitable for expressing projective geometry and for deducing theorems of plane projective geometry. The properties of this calculus are investigated and the cut elimination theorem for L PG K is proven. A formulization of sketches is presented and the equivalence between sketches
openaire +1 more source
This paper presents an extension of Gentzen's LK, called L PG K, which is suitable for expressing projective geometry and for deducing theorems of plane projective geometry. The properties of this calculus are investigated and the cut elimination theorem for L PG K is proven. A formulization of sketches is presented and the equivalence between sketches
openaire +1 more source
Perception, 2012
This essay reflects on the revolution David Marr brought about in vision research, and in cognitive science more broadly. I start with an insider's view, then examine the methodological impact of his framework in cognitive science in general. My group's work on sketch understanding descends from Marr's approach to vision, a connection which I make to ...
openaire +2 more sources
This essay reflects on the revolution David Marr brought about in vision research, and in cognitive science more broadly. I start with an insider's view, then examine the methodological impact of his framework in cognitive science in general. My group's work on sketch understanding descends from Marr's approach to vision, a connection which I make to ...
openaire +2 more sources
Synthese, 2011
This article puts forward the notion of “evolving diagram” as an important case of mathematical diagram. An evolving diagram combines, through a dynamic graphical enrichment, the representation of an object and the representation of a piece of reasoning based on the representation of that object.
openaire +1 more source
This article puts forward the notion of “evolving diagram” as an important case of mathematical diagram. An evolving diagram combines, through a dynamic graphical enrichment, the representation of an object and the representation of a piece of reasoning based on the representation of that object.
openaire +1 more source
Toward Realistic Face Photo–Sketch Synthesis via Composition-Aided GANs
IEEE Transactions on Cybernetics, 2021Jun Yu, Fei Gao, Meng Wang
exaly
2012 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2012
Gautam Dasarathy +3 more
openaire +1 more source
Gautam Dasarathy +3 more
openaire +1 more source
Facial-sketch Synthesis: A New Challenge
Machine Intelligence Research, 2022Deng-Ping Fan +2 more
exaly
Toward Realistic Face Photo–Sketch Synthesis via Composition-Aided GANs
IEEE Transactions on Cybernetics, 2020Jun Yu +6 more
semanticscholar +1 more source
Reference Based Sketch Extraction via Attention Mechanism
ACM Transactions on Graphics, 2022Amirsaman Ashtari +2 more
exaly
Deep Learning for Free-Hand Sketch: A Survey
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2023Timothy M Hospedales +2 more
exaly