Sciweavers

2774 search results - page 98 / 555
» Exploiting Deep Structure
Sort
View
113
Voted
ESORICS
2009
Springer
16 years 3 months ago
Tracking Information Flow in Dynamic Tree Structures
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov
112
Voted
FM
2003
Springer
112views Formal Methods» more  FM 2003»
15 years 7 months ago
Structuring Retrenchments in B by Decomposition
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
Michael Poppleton, Richard Banach
OHS
2001
Springer
15 years 7 months ago
Using Structural Computing to Support Information Integration
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...
Kenneth M. Anderson, Susanne A. Sherba
JMLR
2011
142views more  JMLR 2011»
14 years 9 months ago
Causal Search in Structural Vector Autoregressive Models
This paper reviews a class of methods to perform causal inference in the framework of a structural vector autoregressive model. We consider three different settings. In the first ...
Alessio Moneta, Nadine Chlass, Doris Entner, Patri...
ICIP
2005
IEEE
16 years 4 months ago
Video compression using structural flow
This paper proposes a new technique in wavelet video compression that exploits the spatiotemporal regularity of the video. A sequence of frames is said to be regular along the dire...
Orkun Alatas, Omar Javed, Mubarak Shah