Sciweavers

3928 search results - page 112 / 786
» order 2006
Sort
View
JCS
2006
118views more  JCS 2006»
15 years 4 months ago
Language based policy analysis in a SPKI Trust Management System
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
Arun K. Eamani, A. Prasad Sistla
JCT
2006
69views more  JCT 2006»
15 years 4 months ago
The Bergman complex of a matroid and phylogenetic trees
We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural su...
Federico Ardila, Caroline J. Klivans
JFR
2006
70views more  JFR 2006»
15 years 4 months ago
Visual servoing of an autonomous helicopter in urban areas using feature tracking
We present the design and implementation of a vision-based feature tracking system for an autonomous helicopter. Visual sensing is used for estimating the position and velocity of...
Luis Mejías, Srikanth Saripalli, Pascual Ca...
ENGL
2007
90views more  ENGL 2007»
15 years 4 months ago
Stabilization of LTI Switched Systems with Input Time Delay
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...
Lin Lin
JSC
2006
102views more  JSC 2006»
15 years 4 months ago
Counterexamples to witness conjectures
Consider the class of exp-log constants, which is constructed from the integers using the field operations, exponentiation and logarithm. Let z be such an exp-log constant and let...
Joris van der Hoeven