Sciweavers

4902 search results - page 598 / 981
» Structures, Semantics and Statistics
Sort
View
VIP
2003
15 years 8 months ago
Visualising File-Systems Using ENCCON Model
1 This paper describes a new approach for visualising the file structures. Our technique uses an enclosure + connection (ENCCON) approach that provides an overall view of the enti...
Quang Vinh Nguyen, Mao Lin Huang
ACL
1990
15 years 8 months ago
Lexical and Syntactic Rules in a Tree Adjoining Grammar
according to this definition2. Each elementary tree is constrained to have at least one terminal at its frontier which serves as 'head' (or 'anchor'). Sentence...
Anne Abeillé
ATVA
2009
Springer
97views Hardware» more  ATVA 2009»
15 years 8 months ago
Memory Usage Verification Using Hip/Sleek
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan...
179
Voted
APAL
2010
123views more  APAL 2010»
15 years 7 months ago
Cut elimination and strong separation for substructural logics: An algebraic approach
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
Nikolaos Galatos, Hiroakira Ono
CGF
2010
169views more  CGF 2010»
15 years 7 months ago
Image-Based Edge Bundles: Simplified Visualization of Large Graphs
We present a new approach aimed at understanding the structure of connections in edge-bundling layouts. We combine the advantages of edge bundles with a bundle-centric simplified ...
Alexandru Telea, Ozan Ersoy