Sciweavers

1453 search results - page 116 / 291
» Partial Constraint Satisfaction
Sort
View
COLING
1992
15 years 5 months ago
On the Satisfiability of Complex Constraints
The main problem arising from the use of complex constraints in Computational Linguists is due to the NP-hardness of checking whether a given set of constraints is satisfiable and...
Luís Damas, Giovanni B. Varile
GIS
2007
ACM
16 years 5 months ago
Exploiting automatically inferred constraint-models for building identification in satellite imagery
The building identification (BID) problem is based on a process that uses publicly available information to automatically assign addresses to buildings in satellite imagery. In pr...
Martin Michalowski, Craig A. Knoblock, Kenneth M. ...
139
Voted
CONSTRAINTS
2008
90views more  CONSTRAINTS 2008»
15 years 4 months ago
Combining Tree Partitioning, Precedence, and Incomparability Constraints
The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
IGPL
2006
87views more  IGPL 2006»
15 years 4 months ago
Satisfiability Decay along Conjunctions of Pseudo-Random Clauses
Abstract. k-SAT is a fundamental constraint satisfaction problem. It involves S(m), the satisfaction set of the conjunction of m clauses, each clause a disjunction of k literals. T...
Eli Shamir
JMS
2010
105views more  JMS 2010»
15 years 2 months ago
Applying Non-synchronized E-learning to the Nursing Clinical Ladder System
The time and spatial constraints of face-to-face learning often affect nursing staff’s inclination to enroll in ladder system training classes. Hence, their competence in clinica...
Li-Jung Leu, Hsueh-Chih Liao, I-Chiu Chang, Zhi-Yu...