Sciweavers

432 search results - page 42 / 87
» Open Problems with Part-Whole Relations
Sort
View
98
Voted
DGCI
2005
Springer
15 years 6 months ago
The Class of Simple Cube-Curves Whose MLPs Cannot Have Vertices at Grid Points
We consider simple cube-curves in the orthogonal 3D grid of cells. The union of all cells contained in such a curve (also called the tube of this curve) is a polyhedrally bounded s...
Fajie Li, Reinhard Klette
100
Voted
FOSSACS
2005
Springer
15 years 6 months ago
A Simpler Proof Theory for Nominal Logic
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
James Cheney
HSNMC
2004
Springer
133views Multimedia» more  HSNMC 2004»
15 years 5 months ago
Network Convergence over MPLS
Multiprotocol Label Switching (MPLS) is emerging as a flexible technology that can transport voice, IPv4, IPv6, layer 2 services (Frame Relay, ATM, Ethernet, etc.), and even PDH an...
Enrique Vázquez, Manuel Alvarez-Campana, An...
100
Voted
ISAAC
2004
Springer
103views Algorithms» more  ISAAC 2004»
15 years 5 months ago
Structural Similarity in Graphs (A Relaxation Approach for Role Assignment)
Standard methods for role assignment partition the vertex set of a graph in such a way that vertices in the same class can be considered to have equivalent roles in the graph. Seve...
Ulrik Brandes, Jürgen Lerner
GCC
2003
Springer
15 years 5 months ago
A Novel Approach to Semantics-Based Exception Handling for Service Grid Applications
Whenever the characteristics of a service grid environment are addressed, issues related to openness and dynamism pop out first. Such issues do affect the definition and handling o...
Donglai Li, Yanbo Han, Haitao Hu, Jun Fang, Xue Wa...