Sciweavers

5592 search results - page 432 / 1119
» On Random Betweenness Constraints
Sort
View
CVPR
2005
IEEE
15 years 8 months ago
Articulated Structure from Motion by Factorization
Multibody affine Structure From Motion (SFM) methods commonly assume independent motion between objects such that the ‘measurement matrix’ has rank 4k. When multiple views ar...
Philip A. Tresadern, Ian D. Reid
INFOSCALE
2007
ACM
15 years 8 months ago
A dubiety-determining based model for database cumulated anomaly intrusion
— The concept of Cumulated Anomaly (CA), which describes a new type of database anomalies, is addressed. A typical CA intrusion is that when a user who is authorized to modify da...
Gang Lu, Junkai Yi, Kevin Lü
SPLC
2008
15 years 8 months ago
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
Jules White, Douglas C. Schmidt, David Benavides, ...
STAIRS
2008
143views Education» more  STAIRS 2008»
15 years 8 months ago
Domain-Dependent View of Multiple Robots Path Planning
We study a problem of path planning for a group of robots in this paper. The problem is stated as a finding of spatial-temporal paths through which the robots can go from their ini...
Pavel Surynek
IJCAI
2003
15 years 8 months ago
Backdoors To Typical Case Complexity
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
Ryan Williams, Carla P. Gomes, Bart Selman