102291 search results - page 109 / 20459 » Computability in Computational Geometry |
130
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
131
click to vote
ITS
2010
Springer
15 years 9 months ago
2010
Springer
Mily’s World is a learning environment for coordinate geometry that has game-like properties, that is, elements of games that are engaging such as cover story, graphical represen...
137
Voted
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally pose...
120
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The molecular distance geometry problem can be formulated as the problem of finding an immersion in R3 of a given undirected, nonnegatively weighted graph G. In this paper, we di...
179
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
This paper presents a method for learning 3D object templates from view labeled object images. The 3D template is defined in a joint appearance and geometry space, and is compose...