Sciweavers

3265 search results - page 115 / 653
» Representing Groups on Graphs
Sort
View
131
Voted
CORR
2006
Springer
88views Education» more  CORR 2006»
15 years 3 months ago
A Graph-based Framework for Transmission of Correlated Sources over Broadcast Channels
Abstract-- In this paper we consider the communication problem that involves transmission of correlated sources over broadcast channels. We consider a graph-based framework for thi...
Suhan Choi, S. Sandeep Pradhan
JUCS
2008
116views more  JUCS 2008»
15 years 3 months ago
Parallel Key Exchange
: In the paper we study parallel key exchange among multiple parties. The status of parallel key exchange can be depicted by a key graph. In a key graph, a vertex represents a part...
Ik Rae Jeong, Dong Hoon Lee
TACAS
2009
Springer
99views Algorithms» more  TACAS 2009»
15 years 10 months ago
Ground Interpolation for the Theory of Equality
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krsti...
CONTEXT
2007
Springer
15 years 10 months ago
Context Modeling: Task Model and Practice Model
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
Patrick Brézillon
ICMCS
2005
IEEE
169views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Automatic 3D Face Recognition Using Topological Techniques
In this paper, we use the three-dimensionaltopological shape information for human face identification. We propose a new method to represent 3D faces as a topological graph. Fine...
Chafik Samir, Jean-Philippe Vandeborre, Mohamed Da...