Sciweavers

6829 search results - page 182 / 1366
» Quantitative Generalizations of Languages
Sort
View
ECIR
2004
Springer
15 years 7 months ago
Measuring a Cross Language Image Retrieval System
Cross language information retrieval is a field of study that has received significant research attention, resulting in systems that despite the errors of automatic translation (f...
Mark Sanderson, Paul Clough, Catherine Paterson, W...
160
Voted
HASKELL
2008
ACM
15 years 7 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki
IEE
2008
116views more  IEE 2008»
15 years 6 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
ICFP
2008
ACM
16 years 6 months ago
AURA: a programming language for authorization and audit
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianz...
ICFP
2007
ACM
16 years 6 months ago
Type-safe higher-order channels in ML-like languages
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
Sungwoo Park