1330 search results - page 17 / 266 » No Classic Boundary Conditions |
ECCC
2008
13 years 10 months ago
2008
While closed timelike curves (CTCs) are not known to exist, studying their consequences has led to nontrivial insights in general relativity, quantum information, and other areas....
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
JSCIC
2008
13 years 10 months ago
2008
Abstract In this paper, we present a ghost cell/level set method for the evolution of interfaces whose normal velocity depend upon the solutions of linear and nonlinear quasi-stead...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
— In this paper, we give the necessary and sufficient condition that all nets can be connected by monotonic routes when a net consists of a finger and a ball and fingers are on...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
In this work we address boundary detection and boundary grouping. We first pursue a learning-based approach to boundary detection. For this (i) we leverage appearance and context...