Sciweavers

5066 search results - page 128 / 1014
» Spectra of structures and relations
Sort
View
DCC
2007
IEEE
16 years 4 months ago
Structure induction by lossless graph compression
This work is motivated by the necessity to automate the discovery of structure in vast and evergrowing collection of relational data commonly represented as graphs, for example ge...
Leonid Peshkin
154
Voted
VMCAI
2010
Springer
16 years 1 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
CIVR
2004
Springer
155views Image Analysis» more  CIVR 2004»
15 years 10 months ago
Topic Threading for Structuring a Large-Scale News Video Archive
We are building a broadcast news video archive where topics of interest can be retrieved and tracked easily. This paper introduces a structuring method applied to the accumulated n...
Ichiro Ide, Hiroshi Mo, Norio Katayama, Shin'ichi ...
128
Voted
FM
2003
Springer
112views Formal Methods» more  FM 2003»
15 years 9 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
153
Voted
COLING
1990
15 years 5 months ago
Three Typed Pragmatics for Dialogue Structure Analysis
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
Hitoshi Iida, Takayuki Yamaoka, Hidekazu Arita