Sciweavers

8141 search results - page 78 / 1629
» Higher Order Generalization
Sort
View
145
Voted
IJFCS
2008
158views more  IJFCS 2008»
15 years 2 months 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
TROB
2010
176views more  TROB 2010»
14 years 9 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
124
Voted
CISS
2008
IEEE
15 years 9 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
BMCBI
2007
90views more  BMCBI 2007»
15 years 2 months 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
114
Voted
TWC
2008
91views more  TWC 2008»
15 years 2 months 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