Sciweavers

8 search results - page 2 / 2
» Constituency to Dependency Translation with Forests
Sort
View
DSN
2002
IEEE
13 years 10 months ago
Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...
Ann T. Tai, William H. Sanders, Leon Alkalai, Savi...
CRV
2007
IEEE
145views Robotics» more  CRV 2007»
13 years 12 months ago
Can Lucas-Kanade be used to estimate motion parallax in 3D cluttered scenes?
When an observer moves in a 3D static scene, the motion field depends on the depth of the visible objects and on the observer’s instantaneous translation and rotation. By compu...
Vincent Chapdelaine-Couture, Michael S. Langer
PEPM
2010
ACM
13 years 7 months ago
A3PAT, an approach for certified automated termination proofs
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
Evelyne Contejean, Andrey Paskevich, Xavier Urbain...