2748 search results - page 381 / 550 » Generating Object-Z Specifications from Use Cases |
126
Voted
SAT
2005
Springer
15 years 9 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
139
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
The emergence of 3G and 4G wireless networks brings with it the possibility of streaming high quality video content on-demand to mobile users. Wireless video applications require ...
136
Voted
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...
136
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
The goal of automatic image annotation is to automatically generate annotations for images to describe their content. In the past, statistical machine translation models have been...
177
Voted
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...