6740 search results - page 149 / 1348 » Using Classification as a Programming Language |
108
click to vote
ACCV
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We propose a new principle for recognizing fingerspelling sequences from American Sign Language (ASL). Instead of training a system to recognize the static posture for ea...
ACL
2006
15 years 3 months ago
2006
We present a learning framework for structured support vector models in which boosting and bagging methods are used to construct ensemble models. We also propose a selection metho...
JUCS
2010
15 years 3 days ago
2010
: Light scattering studies are done by researchers of various scientific areas. As the calculation of the scattering behavior by small particles is rather complex, corresponding pr...
119
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
107
click to vote
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...