Sciweavers

581 search results - page 71 / 117
» In case you missed it
Sort
View
EATCS
2002
62views more  EATCS 2002»
13 years 9 months ago
Crossing the Bridge at Night
We solve the general case of the bridge-crossing puzzle. 1 The Puzzle Four people begin on the same side of a bridge. You must help them across to the other side. It is night. The...
Günter Rote
JOT
2010
97views more  JOT 2010»
13 years 8 months ago
Towards a theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obj...
Bertrand Meyer
TKDE
2012
312views Formal Methods» more  TKDE 2012»
12 years 13 days ago
Efficient Fuzzy Type-Ahead Search in XML Data
—In a traditional keyword-search system over XML data, a user composes a keyword query, submits it to the system, and retrieves relevant answers. In the case where the user has l...
Jianhua Feng, Guoliang Li
ECCV
2002
Springer
14 years 12 months ago
Estimation of Multiple Illuminants from a Single Image of Arbitrary Known Geometry
We present a new method for the detection and estimation of multiple illuminants, using one image of any object with known geometry and Lambertian reflectance. Our method obviates ...
Yang Wang, Dimitris Samaras
SIGSOFT
2008
ACM
14 years 10 months ago
Profile-guided program simplification for effective testing and analysis
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
Lingxiao Jiang, Zhendong Su