3775 search results - page 231 / 755 » The Expression Problem Revisited |
142
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
155
click to vote
ICARCV
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—This paper is concerned with the problem of estimating the relative translation and orientation between an inertial measurement unit and a camera which are rigidly conne...
119
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
We present an adaptive hybrid FEM/FDM method for an inverse scattering problem in scanning acoustic microscopy with a special focus on new application in medical imaging. The prob...
136
click to vote
ICDT
2003
ACM
15 years 10 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
145
click to vote
ICVS
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...