15375 search results - page 346 / 3075 » cans 2008 |
122
click to vote
ISMVL
2008
IEEE
15 years 11 months ago
2008
IEEE
We investigate a class of metrics on lattices that are compatible with the partial order defined by the lattice using the ternary relation of betweenness that can be naturally de...
140
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
136
click to vote
DLOG
2008
15 years 7 months ago
2008
We show how the reasoning tasks of checking various versions of conservativity for the description logic DL-Litebool can be reduced to satisfiability of quantified Boolean formulas...
104
click to vote
FLAIRS
2008
15 years 7 months ago
2008
We present a new inference algorithm for Point-Interval Logic. The mechanism removes the incompleteness of previously reported inference mechanism for PointInterval Logic. We also...
129
click to vote
FLAIRS
2008
15 years 7 months ago
2008
An important hypothesis of the research reported in this paper is that dynamic space warping (DSW), a dynamic programming (DP) technique (Bellman 1965, Brown 1996), can be effecti...