784 search results - page 47 / 157 » The logic of tasks |
EDOC
2003
IEEE
14 years 2 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
TREC
2001
13 years 10 months ago
2001
This paper describes the retrieval experiments for the main task and list task of the TREC-10 questionanswering track. The question answering system described automatically finds ...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
JOLLI
2002
13 years 8 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
SEKE
2007
Springer
14 years 3 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...