1757 search results - page 131 / 352 » Alternating Refinement Relations |
112
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
121
click to vote
CSL
2008
Springer
15 years 5 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
132
Voted
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
Conventional approaches to similarity search and case-based retrieval, such as nearest neighbor search, require the specification of a global similarity measure which is typically ...
111
click to vote
LREC
2010
15 years 4 months ago
2010
With a view to rationalise the evaluation process within the Orange Labs spoken dialogue system projects, a field audit has been realised among the various related professionals. ...
111
click to vote
LREC
2010
15 years 4 months ago
2010
In this paper, we discuss our analysis and resulting new annotations of Penn Discourse Treebank (PDTB) data tagged as Concession. Concession arises whenever one of the two argumen...