2293 search results - page 206 / 459 » Temporal Logic in Information Systems |
199
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper addresses the problem of using appearance and motion models in classifying and tracking objects when detailed information of the object’s appearance is not available....
201
click to vote
ERCIMDL
2007
Springer
16 years 27 days ago
2007
Springer
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
170
click to vote
FLOPS
2004
Springer
16 years 3 days ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
169
click to vote
GRC
2005
IEEE
16 years 10 days ago
2005
IEEE
An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. We compare the new approach with our previous nonincremental a...
145
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
Preserving digital information over the long term becomes increasing important for large number of institutions. The required expertise and limited tool support discourage especial...