120 search results - page 5 / 24 » New completeness results for lazy conditional narrowing |
WCNC
2008
IEEE
14 years 1 months ago
2008
IEEE
—The application of directional antennas in wireless networks brings numerous benefits, such as increased spatial reuse and mitigated interferences. Most MAC protocols with dire...
ACCV
2010
Springer
13 years 2 months ago
2010
Springer
We present a new approach to robustly solve photometric stereo problems. We cast the problem of recovering surface normals from multiple lighting conditions as a problem of recover...
MODELS
2009
Springer
14 years 1 days ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
CVPR
2005
IEEE
15 years 3 months ago
2005
IEEE
"In this paper, we present a new variational formulation for geometric active contours that forces the level set function to be close to a signed distance function, and theref...
PLDI
2010
ACM
14 years 4 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...