1205 search results - page 237 / 241 » Program Extraction from Large Proof Developments |
BMCBI
2007
14 years 9 months ago
2007
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...
109
click to vote
BMCBI
2007
14 years 9 months ago
2007
Background: Protein structural data has increased exponentially, such that fast and accurate tools are necessary to access structure similarity search. To improve the search speed...
100
click to vote
SOCO
2002
Springer
14 years 9 months ago
2002
Springer
A granular neural Web-based stock prediction agent is developed using the granular neural network (GNN) that can discover fuzzy rules. Stock data sets are downloaded from www.yahoo...
ICCAD
2009
IEEE
14 years 7 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
A key challenge for dynamic Web service selection is that Web services are typically highly configurable and service requesters often have dynamic preferences on service configura...