2766 search results - page 404 / 554 » Hybridizing a Logical Framework |
132
click to vote
FTDCS
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we present a system architecture that allows users to interact with embedded systems located in their proximity using Smart Phones. We have identified four models o...
129
click to vote
EVOW
2006
Springer
15 years 8 months ago
2006
Springer
An original approach, termed Divide-and-Evolve is proposed to hybridize Evolutionary Algorithms (EAs) with Operational Research (OR) methods in the domain of Temporal Planning Prob...
146
click to vote
ACISP
2010
Springer
15 years 6 months ago
2010
Springer
We introduce the concept of attribute-based authenticated key exchange (AB-AKE) within the framework of ciphertext policy attribute-based systems. A notion of AKE-security for AB-A...
130
click to vote
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...
135
click to vote
HCI
2007
15 years 5 months ago
2007
The intrinsic motivation to play, and therefore to learn, that might be provided by digital educational games teases researchers and developers. However, existing educational games...