11484 search results - page 2007 / 2297 » Modeling in the Large and Modeling in the Small |
197
click to vote
IJAIT
2000
15 years 6 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
177
click to vote
IJCV
2000
15 years 6 months ago
2000
This paper presents a general, trainable system for object detection in unconstrained, cluttered scenes. The system derives much of its power from a representation that describes a...
159
click to vote
ENTCS
2002
15 years 6 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
168
click to vote
HF
2002
15 years 6 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
141
Voted
BC
1998
15 years 6 months ago
1998
Abstract. Enroth-Cugell and Robson (1966) ®rst proposed a classi®cation of retinal ganglion cells into X cells, which exhibit approximate linear spatial summation and largely sus...