1653 search results - page 33 / 331 » Directed tree-width examples |
DAC
2007
ACM
15 years 10 months ago
2007
ACM
A protocol for latency-insensitive design with early evaluation is presented. The protocol is based on a symmetric view of the system in which tokens carrying information move in ...
82
Voted
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
GRAPHICSINTERFACE
2001
14 years 11 months ago
2001
We discuss interaction tasks and interaction techniques for the planning of soft tissue operations as for example oncologic liver and lung surgery. We focus on techniques to explor...
77
Voted
AAAI
2006
14 years 11 months ago
2006
Assume that we are trying to build a visual recognizer for a particular class of objects--chairs, for example--using existing induction methods. Assume the assistance of a human t...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We consider a consensus algorithm in which every node in a time-varying undirected connected graph assigns equal weight to each of its neighbors. Under the assumption that the deg...