Sciweavers

784 search results - page 77 / 157
» The logic of tasks
Sort
View
KES
2007
Springer
14 years 2 months ago
A Hierarchical Clustering Method for Semantic Knowledge Bases
Abstract. This work presents a clustering method which can be applied to relational knowledge bases. Namely, it can be used to discover interesting groupings of semantically annota...
Nicola Fanizzi, Claudia d'Amato
AEI
2007
119views more  AEI 2007»
13 years 9 months ago
Anxiety-based affective communication for implicit human-machine interaction
: An implicit human-machine interaction communication framework that is sensitive to human affective states is presented. The overall goal is to achieve detection and recognition o...
Pramila Rani, Nilanjan Sarkar, Julie Adams
GCA
2009
13 years 6 months ago
Enhancing Grid Security Using Workflows, Trusted Computing and Virtualisation
This paper highlights the need to meet both Grid user and resource provider security requirements, describing the rationale for securing Grid workflows: a set of tasks arranged int...
Po-Wah Yau, Allan Tomlinson
AAAI
2008
13 years 11 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
ICCAD
2005
IEEE
90views Hardware» more  ICCAD 2005»
14 years 5 months ago
Scalable compositional minimization via static analysis
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz