11462 search results - page 1996 / 2293 » Developing Application-Centric Methods |
164
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This work describes neural software applied in medicine and physiology to: - investigate and diagnose immune deficiencies; diagnose and study allergic and pseudoallergic reactions...
177
click to vote
AAI
2000
15 years 6 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
173
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
135
click to vote
AMC
2007
15 years 6 months ago
2007
It is known that the i-th order laminated microstructures can be resolved by the k-th order rank-one convex envelopes with k ≥ i. So the requirement of establishing an efficient ...
172
click to vote
BIB
2000
15 years 6 months ago
2000
Much of biology works by applying prior knowledge (`what is known') to an unknown entity, rather than the application of a set of axioms that will elicit knowledge. In additi...