2740 search results - page 274 / 548 » A Model-Based Approach To Requirements Analysis |
103
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...
139
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
136
click to vote
CSB
2005
IEEE
15 years 9 months ago
2005
IEEE
Cutting-edge biological and bioinformatics research seeks a systems perspective through the analysis of multiple types of high-throughput and other experimental data for the same ...
156
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Videos of multi-player team sports provide a challenging domain for dynamic scene analysis. Player actions and interactions are complex as they are driven by many factors, such as...
153
click to vote
DL
1994
Springer
15 years 8 months ago
1994
Springer
Digital Libraries will hold huge amounts of text and other forms of information. For the collections to be maximally useful, they must be highly organized with useful indexes and ...