3222 search results - page 294 / 645 » A Data Model for Effectively Computable Functions |
165
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
212
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Learning good image priors is of utmost importance for the study of vision, computer vision and image processing applications. Learning priors and optimizing over whole images can...
148
click to vote
LAWEB
2005
IEEE
16 years 7 days ago
2005
IEEE
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
167
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Parallel applications typically run in batch mode, sometimes after long waits in a scheduler queue. In some situations, it would be desirable to interactively add new functionalit...
168
click to vote
ICPADS
2005
IEEE
16 years 7 days ago
2005
IEEE
New biological experimental techniques are continuing to generate large amounts of data using DNA, RNA, human genome and protein sequences. The quantity and quality of data from t...