1501 search results - page 257 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
158
Voted
EWC
2007
15 years 3 months ago
2007
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable conļ¬...
145
Voted
WSC
2000
15 years 5 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
127
Voted
STACS
1999
Springer
15 years 8 months ago
1999
Springer
Model checking is a method for the veriļ¬cation of systems with respect to their speciļ¬cations. Symbolic model-checking, which enables the veriļ¬cation of large systems, procee...
119
click to vote
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Hierarchical categorization is a powerful and convenient method so that it is commonly used in various areas, such as ontologies. Although each hierarchy is useful, there are probl...
114
click to vote
APAL
2010
15 years 4 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...