4839 search results - page 272 / 968 » A survey of computational complexity results in systems and ... |
237
click to vote
ICDM2
2004
Springer
16 years 7 hour ago
2004
Springer
Vehicle production audit tests, warranty claims and car control unit data are stored in a central data warehouse for data mining analysis. Neural network based part failure rate es...
182
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
208
click to vote
FDL
2007
IEEE
16 years 29 days ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
181
click to vote
FGCS
2007
15 years 6 months ago
2007
Grid computing is a newly developed technology for complex systems with large-scale resource sharing and multi-institutional collaboration. The prominent feature of grid computing...
184
click to vote
HYBRID
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...