1045 search results - page 152 / 209 » The Use of Exceptions |
191
Voted
DLS
2009
15 years 11 days ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
120
click to vote
GW
2009
Springer
15 years 10 days ago
2009
Springer
Research on automatic sign language recognition (ASLR) has mostly been conducted from a machine learning perspective. We propose to implement results from human sign recognition st...
138
Voted
AAAI
2010
15 years 19 hour ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
140
click to vote
IAJIT
2010
14 years 12 months ago
2010
: Telemedicine refers to the use of information and communication technology to provide and support health care mainly for the purpose of providing consultation. It is also a way t...
135
Voted
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a novel probabilistic framework for rigid tracking and segmentation of shapes observed from multiple cameras. Most existing methods have focused on solving each of thes...