483 search results - page 47 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
COMMA
2008
13 years 10 months ago
2008
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
It is widely believed that diversity in operating systems, software packages, and hardware platforms will decrease the virulence of worms and the effectiveness of repeated applic...
TASE
2011
IEEE
13 years 6 days ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Lymphangioleiomyomatosis (LAM) is a multisystem disorder associated with proliferation of smooth muscle-like cells, which leads to destruction of lung parenchyma. Subjective gradi...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
The resource decisions in software project using cost models do not satisfy managerial decision, as it does not support trade-off analysis among resources. A Bayesian net approach...