Sciweavers

2143 search results - page 194 / 429
» corr 2010
Sort
View
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 4 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
CORR
2010
Springer
91views Education» more  CORR 2010»
15 years 3 months ago
Joint space and workspace analysis of a two-DOF closed-chain manipulator
: The aim of this paper is to compute of the generalized aspects, i.e. the maximal singularity-free domains in the Cartesian product of the joint space and workspace, for a planar ...
Damien Chablat
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 1 months ago
Secure Communication and Access Control for Mobile Web Service Provisioning
It is now feasible to host basic web services on a smart phone due to the advances in wireless devices and mobile communication technologies. While the applications are quite welco...
Satish Narayana Srirama, Anton Naumenko
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 1 months ago
Partitions and Coverings of Trees by Bounded-Degree Subtrees
This paper addresses the following questions for a given tree T and integer d 2: (1) What is the minimum number of degree-d subtrees that partition E(T)? (2) What is the minimum n...
David R. Wood
CORR
2010
Springer
188views Education» more  CORR 2010»
15 years 1 months ago
A Novel Algorithm for Cooperative Distributed Sequential Spectrum Sensing in Cognitive Radio
This paper considers cooperative spectrum sensing in Cognitive Radios. In our previous work we have developed DualSPRT, a distributed algorithm for cooperative spectrum sensing usi...
Jithin K. S, Vinod Sharma