Sciweavers

14382 search results - page 84 / 2877
» Time in Connectionist Models
Sort
View
ERCIMDL
2008
Springer
122views Education» more  ERCIMDL 2008»
15 years 3 months ago
Improving Temporal Language Models for Determining Time of Non-timestamped Documents
Taking the temporal dimension into account in searching, i.e., using time of content creation as part of the search condition, is now gaining increasingly interest. However, in the...
Nattiya Kanhabua, Kjetil Nørvåg
SNPD
2008
15 years 2 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky
JNS
2007
85views more  JNS 2007»
15 years 1 months ago
Long-Time Accuracy for Approximate Slow Manifolds in a Finite-Dimensional Model of Balance
We study the slow singular limit for planar anharmonic oscillatory motion of a charged particle under the influence of a perpendicular magnetic field when the mass of the particl...
G. Gottwald, M. Oliver, N. Tecu
SOFSEM
2007
Springer
15 years 7 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
CHI
2005
ACM
16 years 1 months ago
Predicting task execution time on handheld devices using the keystroke-level model
The Keystroke-Level Model (KLM) has been shown to predict skilled use of desktop systems, but has not been validated on a handheld device that uses a stylus instead of a keyboard....
Lu Luo, Bonnie E. John