1202 search results - page 111 / 241 » Sortings for Reactive Systems |
122
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, a computer vision based system is introduced to automatically sort apple fruits. An artificial neural network segments the defected regions on fruit by pixel-wise p...
126
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
—In this paper, we introduce NNexus, a generalization of the automatic linking engine of Noosphere (at PlanetMath.org) and the first system that automates the process of linking...
122
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents a mechanism and a control strategy that enables automated non-contact manipulation of spherical objects in three dimensions using air flow, and demonstrate...
131
click to vote
WCRE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present the metric lens, a new visualization of methodlevel code metrics atop UML class diagrams, which allows performing metric-metric and metric-structure correlations on lar...
126
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...