Sciweavers

2740 search results - page 368 / 548
» Typing the Specialization Interface
Sort
View
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
14 years 11 months ago
Extremal collective behavior
Abstract-- Curves and natural frames can be used for describing and controlling motion in both biological and engineering contexts (e.g., pursuit and formation control). The geomet...
Eric W. Justh, P. S. Krishnaprasad
CORR
2011
Springer
209views Education» more  CORR 2011»
14 years 11 months ago
An Empirical Study of Real-World SPARQL Queries
Understanding how users tailor their SPARQL queries is crucial when designing query evaluation engines or fine-tuning RDF stores with performance in mind. In this paper we analyz...
Mario Arias, Javier D. Fernández, Miguel A....
121
Voted
JCT
2011
86views more  JCT 2011»
14 years 11 months ago
Descendant-homogeneous digraphs
The descendant set desc(α) of a vertex α in a digraph D is the set of vertices which can be reached by a directed path from α. A subdigraph of D is finitely generated if it is...
Daniela Amato, John K. Truss
ITIIS
2010
200views more  ITIIS 2010»
14 years 11 months ago
New Techniques for Anonymous HIBE with Short Ciphertexts in Prime Order Groups
Anonymous hierarchical identity based encryption (HIBE) is an extension of identity based encryption (IBE) that can use an arbitrary string like an e-mail address for a public key...
Kwangsu Lee, Dong Hoon Lee
JCAM
2010
111views more  JCAM 2010»
14 years 11 months ago
Finite element simulation of compressible particle-laden gas flows
A macroscopic two-fluid model of compressible particle-laden gas flows is considered. The governing equations are discretized by a high-resolution finite element method based on a...
Marcel Gurris, Dmitri Kuzmin, Stefan Turek