618 search results - page 102 / 124 » Meaning and Partiality Revised |
ECCV
1998
Springer
14 years 12 months ago
1998
Springer
Diffuse interreflections mean that surface shading and shape are related in ways that are difficult to untangle; in particular, distant and invisible surfaces may affect the shadi...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
QR decomposition (QRD)-based precoded MIMO-OFDM systems with reduced feedback are proposed to convert the MIMO-OFDM channel into layered subchannels. QRD-M is further combined wit...
FGR
2006
IEEE
14 years 4 months ago
2006
IEEE
A realtime system for shrug detection is discussed in this paper. The system is automatically initialized by a face detector based on Ada-boost[14]. After frontal face is localize...
BMCBI
2008
13 years 10 months ago
2008
Background: Ontologies such as the Gene Ontology can enable the construction of complex queries over biological information in a conceptual way, however existing systems to do thi...