3145 search results - page 494 / 629 » Key Improvements to XTR |
175
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Classification of hyperspectral images is paramount to an increasing number of user applications. With the advent of more powerful technology, sensed images demand for la...
160
click to vote
JMLR
2006
15 years 6 months ago
2006
We introduce a method for approximate smoothed inference in a class of switching linear dynamical systems, based on a novel form of Gaussian Sum smoother. This class includes the ...
159
click to vote
JNW
2006
15 years 6 months ago
2006
Despite the increased focus on security, critical information systems remain vulnerable to cyber attacks. The trend lends importance to the concept of intrusion tolerance: there is...
166
click to vote
ENTCS
2007
15 years 6 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
166
click to vote
ENTCS
2007
15 years 6 months ago
2007
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...