21342 search results - page 3547 / 4269 » A Structured Language Model |
191
Voted
EKAW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
213
Voted
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
-- Networks composed of large number of nodes interacting in structured ways such as power grids, communication networks, social networks or market networks are critical port of th...
178
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
202
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
182
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...