3384 search results - page 633 / 677 » More Testable Properties |
AAAI
1998
13 years 9 months ago
1998
We describe an architecture for exploring very large design spaces, for example, spaces that arise when design candidates are generated by combining components systematically from...
BDA
2000
13 years 9 months ago
2000
Two complementary families of users' tasks may be identified during database visualization: data browsing and data analysis. On the one hand, data browsing involves extensive...
IFIP3
1998
13 years 9 months ago
1998
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
IJCAI
1993
13 years 9 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
PPSC
1993
13 years 9 months ago
1993
We will present a matrix framework for the conjugate gradient methods, which is expressed in terms of whole vector sequences instead of single vectors or initial parts of sequence...