4743 search results - page 477 / 949 » The PlusCal Algorithm Language |
126
click to vote
LISP
2008
15 years 3 months ago
2008
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
121
click to vote
ML
2006
ACM
15 years 3 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
99
Voted
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Collaborative tagging used in online social content systems is naturally characterized by many synonyms, causing low precision retrieval. We propose a mechanism based on user pref...
109
Voted
AML
2005
15 years 3 months ago
2005
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...
128
Voted
TOCL
2008
15 years 3 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...