1672 search results - page 228 / 335 » Interactive Mathematical Documents |
172
click to vote
IMAGING
2003
15 years 5 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
155
click to vote
IJCINI
2007
15 years 4 months ago
2007
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...
122
click to vote
BSL
2004
15 years 4 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
135
click to vote
SIGMETRICS
2002
ACM
15 years 4 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
172
click to vote
TACAS
2012
Springer
13 years 12 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...