5205 search results - page 296 / 1041 » Tilings and model theory |
202
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Recent studies in signal detection theory suggest that the human responses to the stimuli on a visual display are nondeterministic. People may attend to different locations on the...
150
Voted
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we describe RDFSync, a methodology for efficient synchronization and merging of RDF models. RDFSync is based on decomposing a model into Minimum Self-Contained graphs...
154
click to vote
ICANN
2005
Springer
16 years 7 days ago
2005
Springer
Delay activity (DA) is the increased firing rate of a cortical population, which persists when the stimulus that induced it is removed. It is believed to be the neural substrate f...
172
click to vote
CAV
2004
Springer
16 years 4 days ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
166
click to vote
HT
2003
ACM
15 years 12 months ago
2003
ACM
Most adaptive hypermedia systems used in education implement a single user model – inevitably originally designed for a specific set of circumstances. In this paper we describe ...