3552 search results - page 525 / 711 » Proof theory in the abstract |
159
click to vote
COST
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Existing face recognition techniques struggle with their performance when identities have to be determined (recognized) based on image data captured under challenging ill...
159
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
In multi-agent system literature, the role concept is getting ngly researched to provide an abstraction to scope beliefs, norms, goals of agents and to shape relationships of the a...
152
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
166
click to vote
ISMM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper deals with the theory and applications of spatially-variant mathematical morphology. We formalize the definition of spatially variant dilation/erosion and ope...
147
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. How do we construct credible personalities? The current SAL (Sensitive Artificial Listeners) characters were constructed intuitively and can be unconvincing. In addressin...