9443 search results - page 1585 / 1889 » Web-centric language models |
166
click to vote
AIME
2007
Springer
16 years 27 days ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
175
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
144
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
186
click to vote
GW
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents a method of image processing used in a mono-vision system in order to study semiotic gestures. We present a robust method to track the hands and face of a perso...
179
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...