549 search results - page 60 / 110 » Verification condition generation for conditional informatio... |
110
click to vote
IEEEVAST
2010
14 years 7 months ago
2010
Modern machine learning techniques provide robust approaches for data-driven modeling and critical information extraction, while human experts hold the advantage of possessing hig...
176
Voted
SIGIR
1992
ACM
15 years 4 months ago
1992
ACM
ct We describe work on the visualization of bibliographic data and, to aid in this task, the application of numerical techniques for multidimensional scaling. Many areas of scienti...
135
Voted
TIT
2010
14 years 7 months ago
2010
The plenoptic function (Adelson and Bergen, 91) describes the visual information available to an observer at any point in space and time. Samples of the plenoptic function (POF) a...
199
Voted
ML
2011
ACM
14 years 7 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
155
click to vote
DICTA
2008
15 years 2 months ago
2008
An iterative algorithm for the reconstruction of natural images given only their contrast map is presented. The solution is neuro-physiologically inspired, where the retinal cells...