4770 search results - page 732 / 954 » Flexible Type Analysis |
175
click to vote
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
Uploading tourist photographs is a popular activity on photo sharing platforms. The manual annotation of these images is a tedious process and the users often upload their images ...
196
click to vote
WMCSA
2008
IEEE
16 years 28 days ago
2008
IEEE
Remote patient monitoring generates much more data than healthcare professionals are able to manually interpret. Automated detection of events of interest is therefore critical so...
173
click to vote
ASPLOS
2006
ACM
16 years 16 days ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
181
click to vote
MSR
2006
ACM
16 years 16 days ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...
169
click to vote
CCA
2005
Springer
16 years 3 days ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...