6527 search results - page 43 / 1306 » On Typing Information Flow |
AIRS
2006
Springer
13 years 11 months ago
2006
Springer
We report on a study that was undertaken to better identify users' goals behind web search queries by using click through data. Based on user logs which contain over 80 millio...
WEBI
2004
Springer
14 years 28 days ago
2004
Springer
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...
FUIN
2006
13 years 7 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
LOPSTR
2004
Springer
14 years 29 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
JOCN
2010
2010
Medial Temporal Lobe Activity during Source Retrieval Reflects Information Type, not Memory Strength
13 years 6 months ago
■ The medial temporal lobes (MTLs) are critical for episodic memory but the functions of MTL subregions are controversial. According to memory strength theory, MTL subregions co...