Sciweavers

1300 search results - page 194 / 260
» Constraint satisfaction problems and global cardinality cons...
Sort
View
IJIIDS
2008
95views more  IJIIDS 2008»
14 years 9 months ago
Tightly-coupled GIS data in GNSS fix computations with integrity testing
: Global Navigation Satellite Systems (GNSS) are often used to localise a receiver with respect to a given map. This association problem, also known as map-matching, is usually add...
Clément Fouque, Philippe Bonnifait
IROS
2006
IEEE
217views Robotics» more  IROS 2006»
15 years 3 months ago
Active SLAM using Model Predictive Control and Attractor based Exploration
– Active SLAM poses the challenge for an autonomous robot to plan efficient paths simultaneous to the SLAM process. The uncertainties of the robot, map and sensor measurements, a...
Cindy Leung, Shoudong Huang, Gamini Dissanayake
TCS
2008
14 years 9 months ago
Approximate GCDs of polynomials and sparse SOS relaxations
The problem of computing approximate GCDs of several polynomials with real or complex coefficients can be formulated as computing the minimal perturbation such that the perturbed ...
Bin Li, Jiawang Nie, Lihong Zhi
GECCO
2008
Springer
145views Optimization» more  GECCO 2008»
14 years 11 months ago
An evolutionary approach for competency-based curriculum sequencing
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Sequencing is usually per...
Luis de Marcos, José-Javier Martínez...
STOC
2009
ACM
146views Algorithms» more  STOC 2009»
15 years 10 months ago
Conditional hardness for satisfiable 3-CSPs
In this paper we study a fundamental open problem in the area of probabilistic checkable proofs: What is the smallest s such that NP naPCP1,s[O(log n), 3]? In the language of har...
Ryan O'Donnell, Yi Wu