747 search results - page 109 / 150 » Consequence Relations In DRT |
COLT
2008
Springer
13 years 9 months ago
2008
Springer
Clustering Stability methods are a family of widely used model selection techniques applied in data clustering. Their unifying theme is that an appropriate model should result in ...
CSL
2008
Springer
13 years 9 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...
EUROCRYPT
2008
Springer
13 years 9 months ago
2008
Springer
Precise zero knowledge introduced by Micali and Pass (STOC'06) guarantees that the view of any verifier V can be simulated in time closely related to the actual (as opposed t...
ICWSM
2010
13 years 9 months ago
2010
This research explored the transition of romantic relationships from meeting online to the first face-to-face date. It is inevitable that impressions of a partner will change to s...
LREC
2010
13 years 9 months ago
2010
Idioms and other figuratively used expressions pose considerable problems to natural language processing applications because they are very frequent and often behave idiosyncratic...