3639 search results - page 73 / 728 » Provenance as Dependency Analysis |
162
click to vote
SSS
2009
Springer
15 years 10 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
118
click to vote
CONTEXT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
148
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
136
click to vote
ACL
2006
15 years 7 months ago
2006
Speech recognition problems are a reality in current spoken dialogue systems. In order to better understand these phenomena, we study dependencies between speech recognition probl...
171
click to vote
DAGSTUHL
1997
15 years 7 months ago
1997
Analyzing structure in complex time dependent flow fields is a challenging problem. This paper describes the use of spot noise for the visualization of this type of fields. Spo...