594 search results - page 74 / 119 » Using Object Variants to Support Context-Aware Interactions |
IPM
2007
13 years 8 months ago
2007
Interactive query expansion (IQE) (c.f. Efthimiadis, 1996) is a potentially useful technique to help searchers formulate improved query statements, and ultimately retrieve better ...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
In this ever changing business environment, business processes are constantly being customized to reflect the up-to-date organizational structure and business objectives. Technolo...
IADIS
2004
13 years 10 months ago
2004
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
JFP
2007
13 years 8 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...