Sciweavers

5331 search results - page 409 / 1067
» Algebraic Methods for Optimization Problems
Sort
View
ISSAC
2005
Springer
105views Mathematics» more  ISSAC 2005»
16 years 9 days ago
Computing the rank and a small nullspace basis of a polynomial matrix
We reduce the problem of computing the rank and a nullspace basis of a univariate polynomial matrix to polynomial matrix multiplication. For an input n×n matrix of degree d over ...
Arne Storjohann, Gilles Villard
ESORICS
2007
Springer
15 years 10 months ago
Pragmatic XML Access Control Using Off-the-Shelf RDBMS
As the XML model gets more popular, new needs arise to specify access control within XML model. Various XML access control models and enforcement methods have been proposed recentl...
Bo Luo, Dongwon Lee, Peng Liu
ENTCS
2000
60views more  ENTCS 2000»
15 years 6 months ago
Incompleteness of Behavioral Logics
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
Samuel R. Buss, Grigore Rosu
JCB
1998
105views more  JCB 1998»
15 years 6 months ago
Constructing and Counting Phylogenetic Invariants
Abstract. The method of invariants is an approach to the problem of reconstructing the phylogenetic tree of a collection of m taxa using nucleotide sequence data. Models for the re...
Steven N. Evans, Xiaowen Zhou
169
Voted
IROS
2006
IEEE
105views Robotics» more  IROS 2006»
16 years 25 days ago
A Robocentric Motion Planner for Dynamic Environments Using the Velocity Space
— This paper addresses a method to optimize the robot motion planning in dynamic environments, avoiding the moving and static obstacles while the robot drives towards the goal. T...
Eduardo Owen, Luis Montano