Sciweavers

4757 search results - page 46 / 952
» A Unique
Sort
View
110
Voted
INFOCOM
2002
IEEE
15 years 8 months ago
Priority Service and Max-Min Fairness
— We study a priority service where users are free to choose the priority of their traffic, but are charged accordingly by the network. We assume that each user chooses prioriti...
Peter Marbach
129
Voted
TACS
2001
Springer
15 years 8 months ago
Strong Normalization of Second Order Symmetric Lambda-mu Calculus
Parigot suggested symmetric structural reduction rules for ion to µ-abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order ...
Yoriyuki Yamagata
COMPGEOM
2000
ACM
15 years 8 months ago
Delaunay triangulations and Voronoi diagrams for Riemannian manifolds
For a sufficiently dense set of points in any closed Riemannian manifold, we prove that a unique Delannay triangulation exists. This triangulation has the same properties as in Eu...
Greg Leibon, David Letscher
106
Voted
ECTEL
2006
Springer
15 years 7 months ago
Context-Aware Workplace Learning Support: Concept, Experiences, and Remaining Challenges
Workplace learning offers the unique possibility of the immediacy of purpose and real-world context. In order to leverage on this, we have developed a context-aware method to suppo...
Andreas Schmidt, Simone Braun
93
Voted
EMNLP
2006
15 years 5 months ago
Protein folding and chart parsing
How can proteins fold so quickly into their unique native structures? We show here that there is a natural analogy between parsing and the protein folding problem, and demonstrate...
Julia Hockenmaier, Aravind K. Joshi, Ken A. Dill