Sciweavers

7623 search results - page 817 / 1525
» Constructive Volume Modeling
Sort
View
ACL
1993
15 years 8 months ago
A Complete and Recursive Feature Theory
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
Rolf Backofen, Gert Smolka
DBSEC
1996
125views Database» more  DBSEC 1996»
15 years 8 months ago
A Framework for High Assurance Security of Distributed Objects
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
John Hale, Jody Threet, Sujeet Shenoi
AUTOMATICA
2007
103views more  AUTOMATICA 2007»
15 years 7 months ago
Image based visual servo control for a class of aerial robotic systems
An image-based strategy for visual servo control of a class of dynamic systems is proposed. The class of systems considered includes dynamic models of unmanned aerial vehicles cap...
Tarek Hamel, Robert E. Mahony
ENTCS
2010
71views more  ENTCS 2010»
15 years 7 months ago
Unifying Architectural and Behavioural Specifications of Distributed Components
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...
Antonio Cansado, Ludovic Henrio, Eric Madelaine, P...
AUTOMATICA
2006
63views more  AUTOMATICA 2006»
15 years 7 months ago
Inference of disjoint linear and nonlinear sub-domains of a nonlinear mapping
This paper investigates new ways of inferring nonlinear dependence from measured data. The existence of unique linear and nonlinear sub-spaces which are structural invariants of g...
Douglas J. Leith, William E. Leithead, Roderick Mu...