Sciweavers

2847 search results - page 31 / 570
» The Context-Dependent Role Model
Sort
View
ICONIP
2010
13 years 6 months ago
Complex Spiking Models: A Role for Diffuse Thalamic Projections in Complex Cortical Activity
Cortical activity exhibits complex, persistent self-sustained dynamics, which is hypothesised to support the brain’s sophisticated processing capabilities. Prior studies have sho...
Peter Stratton, Janet Wiles
DATE
2007
IEEE
165views Hardware» more  DATE 2007»
14 years 2 months ago
Boosting the role of inductive invariants in model checking
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
TIME
1994
IEEE
13 years 11 months ago
On the Representation of Temporal Object Roles in Object Oriented Databases
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
Niki Pissinou, Kia Makki
AIME
2007
Springer
14 years 1 months ago
The Role of Model Checking in Critiquing Based on Clinical Guidelines
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
Perry Groot, Arjen Hommersom, Peter J. F. Lucas, R...
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
14 years 2 months ago
The Role of a Shared Mental Model of Collaboration Technology in Facilitating Knowledge Work in Virtual Teams
We studied 52 field examples interaction breakdown in information technology project virtual teams and actions leaders took to fix it using information and communication technolog...
Dominic M. Thomas, Robert P. Bostrom