11160 search results - page 260 / 2232 » Incompleteness in a General Setting |
155
click to vote
CGO
2006
IEEE
15 years 9 months ago
2006
IEEE
Static compilers use profiling to predict run-time program behavior. Generally, this requires multiple input sets to capture wide variations in run-time behavior. This is expensiv...
172
click to vote
COMPGEOM
2008
ACM
15 years 7 months ago
2008
ACM
Pattern matching in point sets is a well studied problem with numerous applications. We assume that the point sets may contain outliers (missing or spurious points) and are subjec...
145
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
The concept of intuitionistic fuzzy sets is the generalization of the concept of fuzzy sets. The theory of intuitionistic fuzzy sets is well suited to dealing with vagueness. Rece...
155
click to vote
IANDC
2010
15 years 4 months ago
2010
The structure map turning a set into the carrier of a final coalgebra is not unique. This fact is well-known but commonly elided. In this paper we argue that any such concrete re...
153
click to vote
SIAMJO
2010
15 years 4 months ago
2010
A linear matrix inequality (LMI) is a condition stating that a symmetric matrix whose entries are affine linear combinations of variables is positive semidefinite. Motivated by th...