1280 search results - page 154 / 256 » Soft Typing with Conditional Types |
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
The problem of using pictures of objects captured under ideal imaging conditions (here referred to as in vitro) to recognize objects in natural environments (in situ) is an emergi...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
Vision-based road detection is important in different areas of
computer vision such as autonomous driving, car collision warning
and pedestrian crossing detection. However, curre...
WMCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
Remote patient monitoring generates much more data than healthcare professionals are able to manually interpret. Automated detection of events of interest is therefore critical so...
NMR
2004
Springer
14 years 2 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...