4985 search results - page 319 / 997 » Observation of String-Rewriting Systems |
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract-- We study the identifiability (i.e. the unique identification) problems for 1-D heat conduction in a nonhomogeneous rod. The piecewise constant conductivity of the rod ca...
153
Voted
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
165
Voted
ACL
2007
15 years 6 months ago
2007
When a word sense disambiguation (WSD) system is trained on one domain but applied to a different domain, a drop in accuracy is frequently observed. This highlights the importance...
148
click to vote
CLIMA
2010
15 years 6 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
113
click to vote
VMV
2008
15 years 6 months ago
2008
Recently it was observed, that a combined formulation of tracking and reconstruction increases the robustness and accuracy of both these steps in structure-from-motion problems [9...