1941 search results - page 308 / 389 » Reasoning about Computations Using Two-Levels of Logic |
126
click to vote
ICDM
2007
IEEE
15 years 9 months ago
2007
IEEE
Using mobile devices, such as smart phones, people may create and distribute different types of digital content (e.g., photos, videos). One of the problems is that digital content...
104
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...
123
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
236
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
136
Voted
EWMF
2003
Springer
15 years 8 months ago
2003
Springer
Item-based Collaborative Filtering (CF) algorithms have been designed to deal with the scalability problems associated with traditional user-based CF approaches without sacrificin...