500 search results - page 45 / 100 » Quantified Conditionals and Compositionality |
ACSD
2009
IEEE
15 years 5 days ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
IH
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. When creating a digital composite of two people, it is difficult to exactly match the lighting conditions under which each individual was originally photographed. In many...
ICPR
2002
IEEE
15 years 2 months ago
2002
IEEE
Natural images are the composite consequence of multiple factors related to scene structure, illumination, and imaging. For facial images, the factors include different facial geo...
CIA
1997
Springer
15 years 1 months ago
1997
Springer
This paper critically analyse the use of active databases as an enabling technology for result sharing as defined in the DAI literature. In particular, we demostrate how ECA (Even...
ISLPED
1996
ACM
15 years 1 months ago
1996
ACM
We present a new gate-level approach to current simulation. We use a symbolic model of current pulses that takes accurately into account the dependence on the switching conditions...