Sciweavers

1641 search results - page 120 / 329
» Subject Composition by Roles
Sort
View
NFM
2011
209views Formal Methods» more  NFM 2011»
15 years 1 months ago
Formalizing Probabilistic Safety Claims
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
Heber Herencia-Zapana, George Hagen, Anthony Narka...
SIAMSC
2011
115views more  SIAMSC 2011»
15 years 1 months ago
A Fast and Stable Solver for Singular Integral Equations on Piecewise Smooth Curves
A scheme is presented for the numerical solution of singular integral equations on piecewise smooth curves. It relies on several techniques: reduction, Nystr¨om discretization, co...
Johan Helsing
CORR
2011
Springer
133views Education» more  CORR 2011»
14 years 10 months ago
An Extended Framework for Measuring the Information Capacity of the Human Motor System
—Fitts’ law is a fundamental tool in measuring the capacity of the human motor system. It measures information throughput in terms of the tradeoff between the speed and accurac...
Teemu Roos, Antti Oulasvirta
HYBRID
1998
Springer
15 years 10 months ago
A Connectionist Simulation of the Empirical Acquisition of Grammatical Relations
Abstract. This paper proposes an account of the acquisition of grammatical relations using the basic concepts of connectionism and a construction-based theory of grammar. Many prev...
William C. Morris, Garrison W. Cottrell, Jeffrey L...
SPATIALCOGNITION
1998
Springer
15 years 10 months ago
Human Place Learning in a Computer Generated Arena
We describe the development of a computer-generated arena within which one can study human place learning by asking subjects to locate an invisible target. A series of studies demo...
L. Nadel, K. G. F. Thomas, H. E. Laurance, R. Skel...