3515 search results - page 571 / 703 » On the semantics of Strategy Logic |
173
click to vote
ICIP
2002
IEEE
16 years 4 days ago
2002
IEEE
Many traditional relevance feedback approaches for CBIR can only achieve limited short-term performance improvement without benefiting long-term performance. To remedy this limita...
219
click to vote
ICVS
2001
Springer
15 years 11 months ago
2001
Springer
High-level vision systems use object, scene or domain specific knowledge to interpret images. Unfortunately, this knowledge has to be acquired for every domain. This makes it diffi...
186
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
Linguistic knowledge plays a crucial role in natural language processing. Constructing large linguistic knowledge bases requires a lot of human effort and much cost. There have b...
186
click to vote
PCM
2001
Springer
15 years 11 months ago
2001
Springer
Developing effective and efficient retrieval techniques for multimedia data is a challenging issue in building a digital library. Unlike most previously proposed retrieval approac...
216
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...