5451 search results - page 747 / 1091 » Typed Operational Semantics |
168
click to vote
ICDT
2003
ACM
15 years 11 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
138
click to vote
HRI
2010
ACM
15 years 11 months ago
2010
ACM
—Based on a study of the engagement process between humans, we have developed and implemented an initial computational model for recognizing engagement between a human and a huma...
151
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a novel fast algorithmfor image retouching. A space-mapping technique is used to transform a missing (or damaged) part of a surface into a different shap...
144
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose an approach to the reduction of sizes of Multi-Terminal Binary Decision Diagrams (MTBDDs) [3] by using the copy properties of discrete functions. The und...
196
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
A real-time visual processing system using a generalpurpose vision chip, an image sensor in which photo detectors and processing elements are integrated, is described. In order to...