Sciweavers

8141 search results - page 78 / 1629
» Higher Order Generalization
Sort
View
IJFCS
2008
158views more  IJFCS 2008»
15 years 23 days ago
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
Anil Seth
148
Voted
TROB
2010
176views more  TROB 2010»
14 years 7 months ago
Modeling Deformations of General Parametric Shells Grasped by a Robot Hand
The robot hand applying force on a deformable object will result in a changing wrench space due to the varying shape and normal of the contact area. Design and analysis of a manipu...
Jiang Tian, Yan-Bin Jia
CISS
2008
IEEE
15 years 7 months ago
The Chinese Generals Problem
Abstract—To achieve higher reliability, safety, and faulttolerance, many mission-critical detection and decision systems implement consensus algorithms that force the systems’ ...
Edwin Soedarmadji
108
Voted
BMCBI
2007
90views more  BMCBI 2007»
15 years 26 days ago
Gene network interconnectedness and the generalized topological overlap measure
Background: Network methods are increasingly used to represent the interactions of genes and/ or proteins. Genes or proteins that are directly linked may have a similar biological...
Andy M. Yip, Steve Horvath
TWC
2008
91views more  TWC 2008»
15 years 19 days ago
Throughput and Channel Access Statistics of Generalized Selection Multiuser Scheduling
To provide a near-optimal low-complexity solution to parallel multiuser scheduling in code-division multiple-access (CDMA), we propose generalized selection multiuser diversity (GS...
Yao Ma, Jinghua Jin, Dongbo Zhang