2748 search results - page 360 / 550 » Generating Object-Z Specifications from Use Cases |
130
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— The forthcoming 4G cellular systems will provide broadband wireless access to a variety of advanced data and voice services. In order to do that, these networks will have a sig...
129
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Spreadsheet languages are widely used by a variety of end users to perform many important tasks. Despite their perceived simplicity, spreadsheets often contain faults. Furthermore...
155
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
157
click to vote
INFFUS
2006
15 years 4 months ago
2006
Adjusted Rand index is used to measure diversity in cluster ensembles and a diversity measure is subsequently proposed. Although the measure was found to be related to the quality...
129
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Belief Propagation (BP) can be very useful and efficient for performing approximate inference on graphs. But when the graph is very highly connected with strong conflicting intera...