210 search results - page 37 / 42 » A Unified Theory of Irony and Its Computational Formalizatio... |
DRM
2007
Springer
14 years 1 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
ACMICEC
2006
ACM
14 years 1 months ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
SIGIR
2006
ACM
14 years 1 months ago
2006
ACM
Search algorithms incorporating some form of topic model have a long history in information retrieval. For example, cluster-based retrieval has been studied since the 60s and has ...
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...