Sciweavers

1734 search results - page 51 / 347
» its 2000
Sort
View
92
Voted
ETAI
1998
99views more  ETAI 1998»
14 years 9 months ago
A Logical Account of the Common Sense Informatic Situation for a Mobile Robot
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
Murray Shanahan
84
Voted
MOC
1998
102views more  MOC 1998»
14 years 9 months ago
Classification of integral lattices with large class number
A detailed exposition of Kneser’s neighbour method for quadratic lattices over totally real number fields, and of the sub-procedures needed for its implementation, is given. Usi...
Rudolf Scharlau, Boris Hemkemeier
NDJFL
1998
81views more  NDJFL 1998»
14 years 9 months ago
An Undecidable Linear Order That Is n-Decidable for All n
A linear order is n-decidable if its universe is N and the relations determined by n formulas are uniformly computable. This means that there is a computable procedure which, when ...
John Chisholm, Michael Moses
MA
2010
Springer
147views Communications» more  MA 2010»
14 years 8 months ago
On asymptotic normality of sequential LS-estimate for unstable autoregressive process AR(2)
For estimating parameters in an unstable AR(2) model, the paper proposes a sequential least squares estimate with a special stopping time defined by the trace of the observed Fis...
Leonid Galtchouk, Victor Konev
ITS
2000
Springer
91views Multimedia» more  ITS 2000»
15 years 1 months ago
The Impact of Representation on Coaching Argument Analysis
Graphical representations have long been associated with more efficient problem solving. More recently, researchers have begun looking at how representation may affect the informat...
Violetta Cavalli-Sforza