12193 search results - page 267 / 2439 » It's not all about |
158
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
165
click to vote
IPL
2008
15 years 6 months ago
2008
Colouring a graph with its chromatic number of colours is known to be NP-hard. Identifying an algorithm in which descisions are made locally with no information about the graph�...
141
click to vote
JDA
2006
15 years 6 months ago
2006
We prove that the pathwidth of Halin graphs can be 3-approximated in linear time. Our approximation algorithms is based on a combinatorial result about respectful edge orderings o...
136
click to vote
PAMI
2006
15 years 6 months ago
2006
We present here a comprehensive imaging theory about cone mirrors in a single-view-point (SVP) configuration and show that an SVP cone mirror catadioptric system is not only practi...
154
click to vote
ESWA
2002
15 years 6 months ago
2002
Enterprise websites nowadays have become one of the most important conversation channels between the enterprise and its existing/ potential customers (visitors). We envision that ...