1054 search results - page 197 / 211 » Translation Validation of System Abstractions |
101
click to vote
VECPAR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Matter in the universe mainly consists of plasma. The dynamics of plasmas is controlled by magnetic fields. To simulate the evolution of magnetised plasma, we solve the e...
DIAGRAMS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
112
click to vote
BMCBI
2008
14 years 12 months ago
2008
Currently, most of the discovered biological and biomedical knowledge is available as textual data in scientific papers. And, locating and curating information about a genomic enti...
110
click to vote
JSAC
2007
14 years 11 months ago
2007
Abstract— Cooperative diversity facilitates spatio-temporal communications without requiring the deployment of physical antenna arrays. While physical layer studies on cooperativ...
112
click to vote
INFORMS
1998
14 years 11 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...