Sciweavers

3108 search results - page 333 / 622
» The Elements of Computer Credibility
Sort
View
ISSAC
1994
Springer
165views Mathematics» more  ISSAC 1994»
15 years 10 months ago
Constructing Permutation Representations for Large Matrix Groups
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
Gene Cooperman, Larry Finkelstein, Bryant W. York,...
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 10 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp
FUZZIEEE
2007
IEEE
15 years 10 months ago
A Vector Similarity Measure for Interval Type-2 Fuzzy Sets
Fuzzy logic is frequently used in computing with words (CWW). When input words to a CWW engine are modeled by interval type-2 fuzzy sets (IT2 FSs), the CWW engine's output can...
Dongrui Wu, Jerry M. Mendel
3DPVT
2004
IEEE
194views Visualization» more  3DPVT 2004»
15 years 10 months ago
Heterogeneous Deformation Model for 3D Shape and Motion Recovery from Multi-Viewpoint Images
This paper presents a framework for dynamic 3D shape and motion reconstruction from multi-viewpoint images using a deformable mesh model. By deforming a mesh at a frame to that at...
Shohei Nobuhara, Takashi Matsuyama
ATAL
2006
Springer
15 years 10 months ago
A model of emotions for situated agents
Emotion is an essential element of human behavior. Particularly in stressful situations such as combat, it is at least as important as rational analysis in determining a participa...
H. Van Dyke Parunak, Robert Bisson, Sven Brueckner...