2596 search results - page 241 / 520 » Gradual Typing for Objects |
142
Voted
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
The use of video and audio features for automated annotation of audio-visual data is becoming widespread. A major limitation of many of the current methods is that the stored inde...
103
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Coded structured light is an optical technique based on active stereovision that obtains the shape of objects. Oneshot techniques are based on projecting a unique light pattern wi...
126
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
118
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
160
click to vote
CAIP
2009
Springer
15 years 11 months ago
2009
Springer
The recognition of transitive, goal-directed actions requires a sensible balance between the representation of specific shape details of effector and goal object and robustness w...