2196 search results - page 157 / 440 » Practical Reasoning Using Values |
118
Voted
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
134
Voted
DLOG
2008
15 years 4 months ago
2008
We present a novel Fuzzy Description Logic (DL) based approach to automate matchmaking in e-marketplaces. We model traders' preferences with the aid of Fuzzy DLs and, given a ...
144
Voted
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
124
click to vote
WCE
2007
15 years 3 months ago
2007
—This paper is concerned with the application of a conversational agent and expert system to provide a natural language interface to a database. Typically, natural language datab...
124
click to vote
WWW
2011
ACM
14 years 9 months ago
2011
ACM
Running in a highly uncertain and changing environment, Web systems cannot always provide full set of services with optimal quality, especially when the workload is high or failur...