Sciweavers

2805 search results - page 311 / 561
» Modeling Memory for Melodies
Sort
View
LATA
2009
Springer
16 years 1 months ago
Recent Developments in Algorithmic Teaching
Abstract. The present paper surveys recent developments in algorithmic teaching. First, the traditional teaching dimension model is recalled. Starting from the observation that the...
Frank J. Balbach, Thomas Zeugmann
IEEEIAS
2007
IEEE
16 years 29 days ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
ISMVL
2007
IEEE
92views Hardware» more  ISMVL 2007»
16 years 29 days ago
Experimental Studies on SAT-Based ATPG for Gate Delay Faults
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
Stephan Eggersglüß, Daniel Tille, G&oum...
ICARIS
2004
Springer
16 years 1 days ago
Immunity Through Swarms: Agent-Based Simulations of the Human Immune System
Abstract. We present a swarm-based, 3-dimensional model of the human immune system and its response to first and second viral antigen exposure. Our model utilizes a decentralized ...
Christian Jacob, Julius Litorco, Leo Lee
COSIT
2009
Springer
144views GIS» more  COSIT 2009»
15 years 11 months ago
Are Places Concepts? Familarity and Expertise Effects in Neighborhood Cognition
Named urban neighborhoods (localities) are often examples of vague place extents. These are compared with current knowledge of vagueness in concepts and categories within semantic ...
Clare Davies