11973 search results - page 2011 / 2395 » Methods for organizational development |
191
click to vote
AI
2000
Springer
15 years 7 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...
156
click to vote
AMC
2007
15 years 7 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 ...
200
click to vote
BIB
2000
15 years 7 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...
233
click to vote
BIOINFORMATICS
2002
15 years 7 months ago
2002
Motivation: There has been considerable interest in developing computational techniques for inferring genetic regulatory networks from whole-genome expression profiles. When expre...
244
click to vote
CGF
2002
15 years 7 months ago
2002
Our goal is to design and build a tool for the creation of expressive character animation. Virtual puppetry, also known as performance animation, is a technique in which the user ...