1312 search results - page 163 / 263 » Quantitative Comparison of Languages |
99
Voted
ICWS
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
113
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
117
click to vote
AAMAS
2008
Springer
15 years 24 days ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
CONCURRENCY
2008
15 years 23 days ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
114
click to vote
JIB
2007
15 years 17 days ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...