3378 search results - page 217 / 676 » A universe of binding and computation |
178
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
177
click to vote
ALMOB
2006
15 years 6 months ago
2006
The use of Chaos Game Representation (CGR) or its generalization, Universal Sequence Maps (USM), to describe the distribution of biological sequences has been found objectionable ...
147
click to vote
MISQ
2000
15 years 6 months ago
2000
This research considers whether interpretive techniques can be used to enhance our understanding of computer-mediated discussions. The case study considered in this research is th...
235
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Different materials reflect light in different ways, and reflectance
interacts with shape, lighting, and viewpoint to
determine an object’s image. Common materials exhibit dive...
162
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We extend photometric stereo to make it work with internet
images, which are typically associated with different
viewpoints and significant noise. For popular tourism
sites, tho...