6581 search results - page 415 / 1317 » Formalizing Design Patterns |
174
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
No longer confined to our offices, schools, and homes, technology is expanding at an astonishing rate across our everyday public urban landscapes. From the visible (mobile phones,...
151
click to vote
FGR
2008
IEEE
16 years 19 days ago
2008
IEEE
Many studies have now shown that it is possible to recognize people by the way they walk. As yet there has been little formal study of the effects of covariates on the recognition...
147
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
177
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
Next to prediction accuracy, the interpretability of models is one of the fundamental criteria for machine learning algorithms. While high accuracy learners have intensively been e...
151
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
We present a formal description of a neurofuzzy system capable of aligning two sequences recognizing their internal structure. The alignment is done on two levels: grouping of the...