2748 search results - page 174 / 550 » Generating Object-Z Specifications from Use Cases |
77
Voted
CORR
2008
Springer
15 years 23 days ago
2008
Springer
Algorithmic pricing is the computational problem that sellers (e.g., in supermarkets) face when trying to set prices for their items to maximize their profit in the presence of a ...
109
click to vote
AI
2010
Springer
15 years 24 days ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
124
Voted
TITB
2008
15 years 17 days ago
2008
A fuzzy rule-based decision support system (DSS) is presented for the diagnosis of coronary artery disease (CAD). The system is automatically generated from an initial annotated da...
132
click to vote
ICS
2007
Tsinghua U.
15 years 6 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
WSCG
2003
15 years 2 months ago
2003
Apart from anatomical and physiological imaging, MRI can also be used to produce temperature maps. Our objective is to obtain such maps in real-time to monitor mini-invasive therm...