Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
41 | Amin Farjudian |
Shrad: A Language for Sequential Real Number Computation. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Maria A. Walden, Marwan Bikdash, Abdollah Homaifar |
Evaluating multi-valued inverse functions using clustering and fuzzy approximations. |
SAC |
1998 |
DBLP DOI BibTeX RDF |
function inversion, multi-valuedness, recursive least squares approximation, fuzzy clustering |
31 | Alexander Reffgen |
Generalizing the Gibbard-Satterthwaite theorem: partial preferences, the degree of manipulation, and multi-valuedness. |
Soc. Choice Welf. |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Jefferson O. Andrade, Yukiyoshi Kameyama |
A Direct Algorithm for Multi-valued Bounded Model Checking. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Takehisa Takahashi, Hajime Sawamura |
A Logic of Multiple-Valued Argumentation. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Luc Florack, Bart M. ter Haar Romeny, Jan J. Koenderink, Max A. Viergever |
Families of Tuned Scale-Space Kernels. |
ECCV |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|