7296 search results - page 250 / 1460 » informs 2010 |
159
click to vote
IPMU
2010
Springer
15 years 8 months ago
2010
Springer
Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics usin...
171
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—The project-based teaching mode is a method based on the educational theory of constructivism. Based on this mode, the paper discussed a new teaching practice, covering differen...
176
click to vote
APVIS
2010
15 years 8 months ago
2010
Information visualization is essential in making sense out of large data sets. Often, high-dimensional data are visualized as a collection of points in 2-dimensional space through...
169
click to vote
IANDC
2010
15 years 4 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
153
click to vote
IJCMAM
2010
15 years 4 months ago
2010
For health care related research studies the medical records of patients may need to be retrieved from multiple sites with different regulations on the disclosure of health inform...