4285 search results - page 852 / 857 » Differential Behavioral Analysis |
174
Voted
IANDC
2011
15 years 6 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
203
click to vote
MMAS
2011
Springer
15 years 6 days ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
183
click to vote
TASE
2011
IEEE
15 years 5 days ago
2011
IEEE
—This paper reports the design and development processes of a totally decoupled flexure-based XYZ parallel-kinematics micropositioning stage with piezoelectric actuation. The un...
187
click to vote
TKDE
2011
15 years 5 days ago
2011
—Classification has been used for modeling many kinds of data sets, including sets of items, text documents, graphs, and networks. However, there is a lack of study on a new kind...
138
Voted
TR
2011
15 years 5 days ago
2011
We consider repairable reliability systems with m components, the lifetimes and repair times of which are independent. The l-th component can be either in the failure state 0 or i...