16606 search results - page 470 / 3322 » Context Modeling: Task Model and Practice Model |
190
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
178
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper examines the issue of dynamically scheduling applications on a wide-area network computing system. We construct a simulation model for wide-area task allocation problem...
192
click to vote
EMNLP
2008
15 years 8 months ago
2008
Active learning is well-suited to many problems in natural language processing, where unlabeled data may be abundant but annotation is slow and expensive. This paper aims to shed ...
141
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
This paper presents a software environment for a human-aware ambient agent providing support for a human performing an attention-demanding task. The agent obtains human attention-...
182
click to vote
COMPLEXITY
2010
15 years 4 months ago
2010
In this paper we introduce the Partition Task problem class along with a complexity measure to evaluate its instances and a performance measure to quantify the ability of a system...