775 search results - page 90 / 155 » A Service-oriented Approach for the i* Framework |
TVLSI
2008
13 years 8 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
RAS
2002
13 years 8 months ago
2002
In this paper, we present a framework for a robotic system with the ability to perform real-world manipulation tasks. The complexity of such tasks determines the precision and fre...
FLAIRS
2010
13 years 6 months ago
2010
How could computer games be used to augment training for fighter pilots? This paper is aimed at providing one answer to this research question. Three current methods of training f...
TIT
2010
13 years 3 months ago
2010
We present a novel framework to estimate protein-protein (PPI) and domain-domain (DDI) interactions based on a belief propagation estimation method that efficiently computes inter...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
We present a class of richly structured, undirected hidden variable models suitable for simultaneously modeling text along with other attributes encoded in different modalities. O...