Sciweavers

3265 search results - page 115 / 653
» Representing Groups on Graphs
Sort
View
CORR
2006
Springer
88views Education» more  CORR 2006»
15 years 6 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 5 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»
16 years 1 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
16 years 18 days 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»
16 years 20 hour 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...