2794 search results - page 390 / 559 » A New Architecture for Automated Modelling |
160
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
This paper deals with preference representation and elicitation in the context of multiattribute utility theory under risk. Assuming the decision maker behaves according to the EU...
182
click to vote
ISF
2006
15 years 6 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
180
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
163
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Experimentally determined protein structures may contain errors and require validation. Conformational criteria based on the Ramachandran plot are mainly used to disti...
188
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Now a many organizations are required to communicate online on a daily basis, 24-hour, seven-days-a-week, to gain the desired competitive advantages and profits; although there are...