1938 search results - page 299 / 388 » On Positive Relational Calculi |
ENTCS
2008
13 years 7 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
GIS
2008
ACM
13 years 7 months ago
2008
ACM
This paper deals with the geographical analysis and visualization of network marketing. The aim of the study was to develop interactive visual methods, which help to answer questi...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
This paper presents a coordination algorithm for mobile autonomous robots. Relying upon distributed sensing, the robots achieve rendezvous, that is, they move to a common location....
IJBC
2008
13 years 7 months ago
2008
In this paper, we investigate the existence and stability of periodic orbits of the p-periodic difference equation with delays xn = f(n - 1, xn-k). We show that the periodic orbit...
BMCBI
2007
13 years 7 months ago
2007
Background: Accurate prediction of intra-protein residue contacts from sequence information will allow the prediction of protein structures. Basic predictions of such specific con...