Sciweavers

15421 search results - page 87 / 3085
» Dependability
Sort
View
CORR
2010
Springer
48views Education» more  CORR 2010»
13 years 6 months ago
On Maxwell fluid with relaxation time and viscosity depending on the pressure
We study a variant of the well known Maxwell model for viscoelastic fluids, namely we consider the Maxwell fluid with viscosity and relaxation time depending on the pressure. Such...
Satish Karra, Vít Prusa, K. R. Rajagopal
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 3 months ago
From IF to BI: a tale of dependence and separation
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
Samson Abramsky, Jouko A. Väänänen
ICSE
2011
IEEE-ACM
13 years 6 days ago
A lightweight code analysis and its role in evaluation of a dependability case
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...

Publication
218views
12 years 1 months ago
Comparing Visual Feature Coding for Learning Disjoint Camera Dependencies
This paper systematically investigates the effectiveness of different visual feature coding schemes for facilitating the learning of time-delayed dependencies among disjoint multi-...
Xiatian Zhu, Shaogang Gong, and Chen Change Loy
ACL
2012
11 years 11 months ago
Sentence Dependency Tagging in Online Question Answering Forums
Online forums are becoming a popular resource in the state of the art question answering (QA) systems. Because of its nature as an online community, it contains more updated knowl...
Zhonghua Qu, Yang Liu