1636 search results - page 216 / 328 » Type-Theoretic Functional Semantics |
184
Voted
MMM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper we address the task of image categorization using a new similarity measure on the space of Sparse Multiscale Patches (SMP). SMPs are based on a multiscale t...
186
click to vote
FLOPS
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
180
Voted
ASUNAM
2009
IEEE
16 years 29 days ago
2009
IEEE
A user profile on an online social network is characterized by its profile entries (keywords). In this paper, we study the relationship between semantic similarity of user keywo...
141
click to vote
ADBIS
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Being able to activate triggers at timepoints reached or after time intervals elapsed has been acknowledged by many authors as a valuable functionality of a DBMS. Recentl...
163
click to vote
PPDP
2009
Springer
16 years 21 days ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...