Sciweavers

361 search results - page 37 / 73
» Maximum subset intersection
Sort
View
ISSAC
1995
Springer
125views Mathematics» more  ISSAC 1995»
15 years 5 months ago
Numeric-Symbolic Algorithms for Evaluating One-Dimensional Algebraic Sets
: We present e cient algorithms based on a combination of numeric and symbolic techniques for evaluating one-dimensional algebraic sets in a subset of the real domain. Given a desc...
Shankar Krishnan, Dinesh Manocha
150
Voted
CSL
2008
Springer
15 years 4 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
151
Voted
AIPS
2009
15 years 3 months ago
Navigation Planning in Probabilistic Roadmaps with Uncertainty
Probabilistic Roadmaps (PRM) are a commonly used class of algorithms for robot navigation tasks where obstacles are present in the environment. We examine the situation where the ...
Michael Kneebone, Richard Dearden
SIAMAM
2008
72views more  SIAMAM 2008»
15 years 2 months ago
Global Asymptotic Stability for a Class of Nonlinear Chemical Equations
We consider a class of nonlinear differential equations that arises in the study of chemical reaction systems known to be locally asymptotically stable and prove that they are in f...
David F. Anderson
STOC
2012
ACM
185views Algorithms» more  STOC 2012»
13 years 4 months ago
Subspace evasive sets
In this work we describe an explicit, simple, construction of large subsets of Fn , where F is a finite field, that have small intersection with every k-dimensional affine subsp...
Zeev Dvir, Shachar Lovett