2497 search results - page 179 / 500 » Requirements for models of achievable routing |
179
click to vote
BMAS
2000
IEEE
15 years 11 months ago
2000
IEEE
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
177
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
160
click to vote
ACL
2007
15 years 8 months ago
2007
In this paper, we propose a novel discriminative language model, which can be applied quite generally. Compared to the well known N-gram language models, discriminative language m...
145
click to vote
DGO
2003
15 years 8 months ago
2003
Statistical models fit to data often require extensive and challenging re-estimation before achieving final form. For example, outliers can adversely affect fits. In other cas...
205
click to vote
MASCOTS
2010
15 years 5 months ago
2010
—Flash-based Solid-State Drives (SSDs) have become a promising alternative to magnetic Hard Disk Drives (HDDs) thanks to the large improvements in performance, power consumption,...