4397 search results - page 864 / 880 » Relational Algebra Operations |
107
Voted
ENTCS
2000
15 years 8 days ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
111
click to vote
CSCW
2002
ACM
15 years 8 days ago
2002
ACM
Through ethnographic research, we document the rise of personal social networks in the workplace, which we call intensional networks. Paradoxically, we find that the most fundament...
JCSS
2000
15 years 7 days ago
2000
It is a well-known result of Fagin that the complexity class NP coincides with the class of problems expressible in existential second-order logic ( 1 1), which allows sentences c...
82
Voted
BIOINFORMATICS
1999
15 years 4 days ago
1999
Summary: The Genetic Simulation Library (GSL) is a set of C++ programs and classes that can be used in individualbased simulation models of plant and animal populations. The class...
MONET
2002
15 years 3 days ago
2002
The Ad hoc Multicast Routing protocol (AMRoute) presents a novel approach for robust IP Multicast in mobile ad hoc networks by exploiting user-multicast trees and dynamic logical c...