2138 search results - page 411 / 428 » Logics for the Relational Syllogistic |
202
click to vote
ICCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
168
click to vote
DFT
2006
IEEE
16 years 23 days ago
2006
IEEE
1 High temperature has become a major problem for system-on-chip testing. In order to reduce the test time while keeping the temperature of the chip under test within a safe range,...
200
click to vote
3DGIS
2006
Springer
16 years 21 days ago
2006
Springer
Database management systems (DBMS) have significantly changed in the last several years. From a system dealing with management of administrative data they have involved to a spati...
159
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
174
click to vote
CCGRID
2005
IEEE
16 years 10 days ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...