3804 search results - page 158 / 761 » From Here to There |
181
click to vote
ENTCS
2006
15 years 6 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
163
click to vote
PAMI
2002
15 years 6 months ago
2002
In the energy spectrum of an occlusion sequence, the distortion term has the same orientation as the velocity of the occluding signal. Recent works claimed that this oriented struc...
165
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
158
click to vote
BC
1998
15 years 6 months ago
1998
Abstract. In a stereoscopic system, both eyes or cameras have a slightly dierent view. As a consequence, small variations between the projected images exist (`disparities') ...
176
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Determination and quantification of nucleic acid components in a mixture is usually accomplished by microarray approaches, where the mixtures are hybridized against sp...