528 search results - page 88 / 106 » Degrees of categoricity of computable structures |
ICRA
2005
IEEE
15 years 4 months ago
2005
IEEE
— The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a specified s...
EPEW
2005
Springer
15 years 4 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
EDOC
2003
IEEE
15 years 4 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
105
click to vote
INFOCOM
2000
IEEE
15 years 3 months ago
2000
IEEE
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
APWEB
2006
Springer
15 years 2 months ago
2006
Springer
In this demo, we present a method called LocalRank to rank web pages. Our method integrates the web and a local user database with semantic links including geographical ones. We fi...