10289 search results - page 1684 / 2058 » Standard bases in K |
189
click to vote
DEXA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. MPEG-7 is a promising standard for the description of multimedia content. A lot of applications based on MPEG-7 media descriptions have been set up. Therefore, an efficie...
194
click to vote
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
179
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we propose a novel Markov model-based formulation for the image annotation problem. In this formulation, we treat image annotation as a graph ranking problem, by de...
178
click to vote
DOCENG
2007
ACM
15 years 8 months ago
2007
ACM
HTML has popularized the use of style sheets, and the advent of XML has stressed the importance of style as a key area complementing document structure and content. A number of to...
178
click to vote
ECOWS
2007
Springer
15 years 8 months ago
2007
Springer
Key establishment is essential for many applications of cryptography. Its purpose is to negotiate keys for other cryptographic schemes, usually for encryption and authentication. I...