428 search results - page 6 / 86 » Completeness of a Fact Extractor |
ICB
2009
Springer
13 years 5 months ago
2009
Springer
This paper describes the objectives, the tasks proposed to the participants and the associated protocols in terms of database and assessment tools of two present competitions on fi...
IANDC
2010
13 years 6 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...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
— The algebra of truth values of type-2 fuzzy sets contains isomorphic copies of the algebra of truth values of type1 fuzzy sets and the algebra of truth values of interval-value...
SETA
2010
Springer
13 years 5 months ago
2010
Springer
A Hadamard matrix is said to be completely non-cyclic (CNC) if there are no two rows (or two columns) that are shift equivalent in its reduced form. In this paper, we present three...
ISSAC
2005
Springer
14 years 27 days ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...