3348 search results - page 86 / 670 » Around and Around |
162
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
273
click to vote
MCS
2011
Springer
15 years 1 months ago
2011
Springer
A simple mathematical model of laser drilling is proposed. Assuming axi-symmetry of the process around the axis of the laser beam, a one-dimensional formulation is obtained after ...
156
click to vote
ITSE
2010
15 years 1 months ago
2010
Since its formation in 2007, Opencast has become a truly global community around academic video and its related areas. One of Opencast's major projects to emerge from the com...
171
click to vote
3DUI
2011
14 years 6 months ago
2011
This poster reports the preliminary results of an on-going near infrared spectroscopy (NIRS) study conducted to examine cortical response to visual motion typically found in Virtu...
210
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
—When comparing clustering results, any evaluation metric breaks down the available information to a single number. However, a lot of evaluation metrics are around, that are not ...