20 search results - page 2 / 4 » A Relational Account of Call-by-Value Sequentiality |
COGSCI
2010
13 years 6 months ago
2010
We evaluate two broad classes of cognitive mechanisms that might support the learning of sequential patterns. According to the first, learning is based on the gradual accumulation...
ESOP
2010
Springer
14 years 3 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
BIRTHDAY
2004
Springer
13 years 11 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
MDM
2010
Springer
13 years 11 months ago
2010
Springer
— People’s location histories imply the location correlation that states the relations between geographical locations in the space of human behavior. With the correlation, we c...
TKDE
2002
13 years 6 months ago
2002
We introduce ImageMap, as a method for indexing and similarity searching in Image DataBases (IDBs). ImageMap answers "queries by example", involving any number of object...