1227 search results - page 190 / 246 » Using Generation for Grammar Analysis and Error Detection |
135
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: cDNA microarray technology has emerged as a major player in the parallel detection of biomolecules, but still suffers from fundamental technical problems. Identifying ...
139
Voted
PAMI
2012
13 years 6 months ago
2012
—We study the problem of approximating a 3D solid with a union of overlapping spheres. In comparison with a stateof-the-art approach, our method offers more than an order of magn...
130
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
122
click to vote
AH
2008
Springer
15 years 10 months ago
2008
Springer
In an attempt to support traditional classroom assessment processes with fully computerized methods, we have developed a method for adaptive assessment suitable for well structured...
114
Voted
AAAI
1994
15 years 4 months ago
1994
This paper presents a novel approach to diagnosis which addresses the two problems - computational complexity of abduction and device models - that have prevented model-based diag...