81 search results - page 16 / 17 » On Normalization by Evaluation for Object Calculi |
APVIS
2010
13 years 8 months ago
2010
A range of well-known treatment methods for destroying tumor and similar harmful growth in human body utilizes the coherence between the inherently periodic movement of the affect...
EUROSYS
2011
ACM
12 years 10 months ago
2011
ACM
Buffer caches in operating systems keep active file blocks in memory to reduce disk accesses. Related studies have been focused on how to minimize buffer misses and the caused pe...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper examines the problem of detecting changes in a 3-d scene from a sequence of images, taken by cameras with arbitrary but known pose. No prior knowledge of the state of n...
BMCBI
2008
13 years 7 months ago
2008
Background: The information from different data sets experimented under different conditions may be inconsistent even though they are performed with the same research objectives. ...
SPAA
2012
ACM
11 years 9 months ago
2012
ACM
hyperobjects (reducers) provide a linguistic abstraction for dynamic multithreading that allows different branches of a parallel program to maintain coordinated local views of the...