Sciweavers

11051 search results - page 133 / 2211
» An Investigation of Generalized Cases
Sort
View
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 10 months ago
A General Framework for Sound and Complete Floyd-Hoare Logics
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paul...
CORR
2008
Springer
97views Education» more  CORR 2008»
13 years 10 months ago
Self-Motions of General 3-RPR Planar Parallel Robots
We study the kinematic geometry of general 3-RPR planar parallel robots with actuated base joints. These robots, while largely overlooked, have simple direct kinematics and large ...
Sébastien Briot, Ilian A. Bonev, Damien Cha...
ENDM
2008
93views more  ENDM 2008»
13 years 10 months ago
The Generalized Max-Controlled Set Problem
In this work we deal with sandwich graphs G = (V, E) and present the notion of vertices f-controlled by a subset M V . We introduce the generalized maxcontrolled set problem (gmc...
Ivairton M. Santos, Carlos A. J. Martinhon, Luiz S...
JCT
2007
82views more  JCT 2007»
13 years 10 months ago
A new generalization of Mantel's theorem to k-graphs
Let the k-graph Fank consist of k edges that pairwise intersect exactly in one vertex x, plus one more edge intersecting each of these edges in a vertex different from x. We prov...
Dhruv Mubayi, Oleg Pikhurko
CORR
2002
Springer
137views Education» more  CORR 2002»
13 years 10 months ago
On ASGS framework: general requirements and an example of implementation
: In the paper we propose general framework for Automatic Secret Generation and Sharing (ASGS) that should be independent of underlying secret sharing scheme. ASGS allows to preven...
Kamil Kulesza, Zbigniew Kotulski