5550 search results - page 662 / 1110 » Different Approaches to Proof Systems |
221
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The generation of entity identifiers is a key issue in the context of semantic web technologies. Entity identifiers are needed when we perform any kind of operation (e.g....
186
click to vote
NSDI
2010
15 years 8 months ago
2010
PPLive is a popular P2P video system used daily by millions of people worldwide. Achieving this level of scalability depends on users making contributions to the system, but curre...
202
click to vote
ISMB
2000
15 years 8 months ago
2000
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
202
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
197
click to vote
KAIS
2008
15 years 7 months ago
2008
Abstract Vector data and in particular road networks are being queried, hosted and processed in many application domains such as in mobile computing. Many client systems such as PD...