123 search results - page 23 / 25 » Static Specification Mining Using Automata-Based Abstraction... |
83
Voted
MMM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a novel multi-modal evidence fusion method for highlevel feature (HLF) detection in videos. The uni-modal features, such as color histogram, transcript texts, ...
123
Voted
EWMF
2005
Springer
15 years 5 months ago
2005
Springer
Web personalization is the process of customizing a web site to the needs of each specific user or set of users. Personalization of a web site may be performed by the provision of ...
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
180
click to vote
ICDE
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...
91
Voted
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...