3192 search results - page 335 / 639 » Translating Model Simulators to Analysis Models |
126
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
126
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
146
Voted
WSDM
2012
ACM
13 years 11 months ago
2012
ACM
This paper presents a novel opinion mining research problem, which is called Contrastive Opinion Modeling (COM). Given any query topic and a set of text collections from multiple ...
137
click to vote
TCS
2008
15 years 3 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
103
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— As jumping is an effective method of moving over rough terrain, there is much interest in building robots that can jump, and deformation of a soft robot’s body is an effectiv...