361 search results - page 53 / 73 » A Vector Model of Trust for Developing Trustworthy Systems |
TSP
2011
13 years 3 months ago
2011
—Many complex dynamical phenomena can be effectively modeled by a system that switches among a set of conditionally linear dynamical modes. We consider two such models: the switc...
SSS
2010
Springer
13 years 7 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
This article addresses a question regarding relevant information in a social media such as a wiki that can contain huge amount of text, written in slang or in natural language, wi...
ISSTA
2010
ACM
14 years 18 days ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
CVPR
2011
IEEE
13 years 6 months ago
2011
IEEE
Unsupervised learning can be used to extract image representations that are useful for various and diverse vision tasks. After noticing that most biological vision systems for int...