Sciweavers

945 search results - page 60 / 189
» Graph Types
Sort
View
COLING
2010
14 years 9 months ago
A Formal Scheme for Multimodal Grammars
We present in this paper a formal approach for the representation of multimodal information. This approach, thanks to the to use of typed feature structures and hypergraphs, gener...
Philippe Blache, Laurent Prévot
PAMI
2006
132views more  PAMI 2006»
15 years 1 months ago
A Generative Sketch Model for Human Hair Analysis and Synthesis
In this paper, we present a generative sketch model for human hair analysis and synthesis. We treat hair images as 2D piecewisely smooth vector (flow) fields, and thus our represe...
Hong Chen, Song Chun Zhu
KDD
2005
ACM
140views Data Mining» more  KDD 2005»
16 years 2 months ago
Graphs over time: densification laws, shrinking diameters and possible explanations
How do real graphs evolve over time? What are "normal" growth patterns in social, technological, and information networks? Many studies have discovered patterns in stati...
Jure Leskovec, Jon M. Kleinberg, Christos Faloutso...
SPRINGSIM
2010
15 years 10 days ago
GTNA: a framework for the graph-theoretic network analysis
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
Benjamin Schiller, Dirk Bradler, Immanuel Schweize...
CADE
2003
Springer
16 years 2 months ago
Proving Pointer Programs in Higher-Order Logic
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
Farhad Mehta, Tobias Nipkow