Sciweavers

2282 search results - page 362 / 457
» Active property checking
Sort
View
FLAIRS
2008
14 years 11 days ago
Towards Verification of Storyboards
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
Rainer Knauf, Horst Duesel
AUSFORENSICS
2004
13 years 11 months ago
Electronic Crime - its not only the big end of town that should be worried
The permeation of technology into our daily lives has resulted in new types of criminal activity and new ways of committing old crimes. As with traditional crime, fundamental to t...
Mathew Hannan, Barry Blundell
BC
2002
108views more  BC 2002»
13 years 10 months ago
Spike-timing-dependent plasticity: common themes and divergent vistas
Abstract. Recent experimental observations of spiketiming-dependent synaptic plasticity (STDP) have revitalized the study of synaptic learning rules. The most surprising aspect of ...
Ádám Kepecs, Mark C. W. van Rossum, ...
NN
1998
Springer
201views Neural Networks» more  NN 1998»
13 years 9 months ago
Neural mechanisms of selection and control of visually guided eye movements
The selection and control of action is a critical problem for both biological and machine animated systems that must operate in complex real world situations. Visually guided eye ...
Jeffrey D. Schall, Doug P. Hanes
SAC
2002
ACM
13 years 9 months ago
A mobility and traffic generation framework for modeling and simulating ad hoc communication networks
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...
Christopher L. Barrett, Madhav V. Marathe, James P...