6279 search results - page 293 / 1256 » Objects as session-typed processes |
197
click to vote
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
The workshop will explore in depth the nature of freedom and constraint in the creative process in digital fine art from the perspective of embodied mind. The problem is crucial t...
208
Voted
JSS
2010
15 years 1 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
188
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Most previous motion deblurring methods restore the degraded image assuming a shift-invariant linear blur filter. These methods are not applicable if the blur is caused by spatial...
307
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
In applications of biometric databases the typical task is to identify individuals according to features which are not exactly known. Reasons for this inexactness are varying meas...
226
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Localizing objects in images is a difficult task and represents the first step to the solution of the object recognition problem. This paper presents a novel approach to the local...