Sciweavers

196 search results - page 3 / 40
» A finite set of functions with an EXPTIME-complete compositi...
Sort
View
CONSTRAINTS
2007
89views more  CONSTRAINTS 2007»
13 years 9 months ago
Cardinal: A Finite Sets Constraint Solver
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
Francisco Azevedo
JSYML
2000
48views more  JSYML 2000»
13 years 9 months ago
Two Consistency Results on Set Mappings
It is consistent that there is a set mapping from the four-tuples of n into the finite subsets with no free subsets of size tn for some natural number tn. For any n < it is con...
Péter Komjáth, Saharon Shelah
INFORMATICALT
2002
140views more  INFORMATICALT 2002»
13 years 9 months ago
Intelligent Initial Finite Element Mesh Generation for Solutions of 2D Problems
The new strategy for non-uniform initial FE mesh generation is presented in this paper. The main focus is set to a priori procedures that define the sizing function independent on ...
Lina Vasiliauskiene, Romualdas Bausys
CORR
2010
Springer
154views Education» more  CORR 2010»
13 years 6 months ago
Complexity of Homogeneous Co-Boolean Constraint Satisfaction Problems
Constraint Satisfaction Problems (CSP) constitute a convenient way to capture many combinatorial problems. The general CSP is known to be NP-complete, but its complexity depends on...
Florian Richoux
ECCV
2004
Springer
14 years 11 months ago
Sparse Finite Elements for Geodesic Contours with Level-Sets
Level-set methods have been shown to be an effective way to solve optimisation problems that involve closed curves. They are well known for their capacity to deal with flexible top...
Martin Weber, Andrew Blake, Roberto Cipolla