Sciweavers

111 search results - page 18 / 23
» Cognitive Dimensions of Notations
Sort
View
CHI
2002
ACM
14 years 8 months ago
Evaluating the effectiveness of spatial memory in 2D and 3D physical and virtual environments
User interfaces can improve task performance by exploiting the powerful human capabilities for spatial cognition. This opportunity has been demonstrated by many prior experiments....
Andy Cockburn, Bruce J. McKenzie
ICC
2007
IEEE
14 years 1 months ago
Joint Transmitter-Receiver Beamforming Over Space-Time Fading Channels
Abstract—The problem of joint transmitter and receiver beamforming in the downlink DS-CDMA over multipath fading channels is considered in this paper. The proposed investigation ...
Tingting Zhang, Athanassios Manikas
ISSAC
2005
Springer
105views Mathematics» more  ISSAC 2005»
14 years 1 months ago
Computing the rank and a small nullspace basis of a polynomial matrix
We reduce the problem of computing the rank and a nullspace basis of a univariate polynomial matrix to polynomial matrix multiplication. For an input n×n matrix of degree d over ...
Arne Storjohann, Gilles Villard
FM
2006
Springer
127views Formal Methods» more  FM 2006»
13 years 11 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
AAAI
1993
13 years 9 months ago
Scientific Model-Building as Search in Matrix Spaces
Many reported discovery systems build discrete models of hidden structure, properties, or processes in the diverse fields of biology, chemistry, and physics. We show that the sear...
Raúl E. Valdés-Pérez, Jan M. ...