258 search results - page 27 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
119
Voted
IJRR
2000
15 years 3 months ago
2000
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
152
click to vote
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
173
Voted
IS
2012
13 years 11 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
103
Voted
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
Some models of textual corpora employ text generation methods involving n-gram statistics, while others use latent topic variables inferred using the "bag-of-words" assu...
141
Voted
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...