43 search results - page 1 / 9 » On Realizing a Framework for Self-tuning Mappings |
TOOLS
2009
IEEE
13 years 12 months ago
2009
IEEE
Realizing information exchange is a frequently recurring challenge in nearly every domain of computer science. Although languages, formalisms, and storage formats may differ in va...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
ISTA
2008
13 years 6 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
ICCV
2011
IEEE
12 years 5 months ago
2011
IEEE
In this paper, we introduce a new method to detect salient objects in images. The approach is based on the standard structure of cognitive visual attention models, but realizes th...
GCC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper, a new Grid security framework based on dynamic access control is introduced to address some security problem in Grid. Based on the dynamic evaluating resul...