1330 search results - page 99 / 266 » No Classic Boundary Conditions |
102
Voted
IAJIT
2010
14 years 11 months ago
2010
: The left ventricle tracking in planar scintigraphic images is an important step to study the coronary state. However, it is not as simple as we thought, because of the bad qualit...
CCCG
2009
14 years 10 months ago
2009
We consider a special class of art gallery problems inspired by wireless localization. Given a simple polygon P, place and orient guards each of which broadcasts a unique key with...
110
Voted
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
PODC
1997
ACM
15 years 5 months ago
1997
ACM
Conditions on a shared object type T are given that are both necessary and sufficient for wait-free n-process consensus to be solvable using objects of type T and registers. The co...
103
click to vote
MOC
2011
14 years 7 months ago
2011
Abstract. We prove optimal order error estimates for the Raviart-Thomas interpolation of arbitrary order under the maximum angle condition for triangles and under two generalizatio...