1996 search results - page 138 / 400 » Financial Theory 2 |
162
click to vote
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
118
click to vote
ECAL
2001
Springer
15 years 9 months ago
2001
Springer
Bedau and Packard’s evolutionary activity statistics [1, 2] are used to classify the evolutionary dynamics in Geb [3, 4], a system designed to verify and extend theories behind t...
120
click to vote
ISSAC
1989
Springer
15 years 8 months ago
1989
Springer
In this paper, we describe a parallelization scheme for Collins’ cylindrical algebraic decomposition algorithm for quantifier elimination in the theory of real closed fields. ...
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
112
click to vote
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
In theory, it should be possible to infer realistic genetic networks from time series microarray data. In practice, however, network discovery has proved problematic. The three ma...