662 search results - page 26 / 133 » A Dynamic Knowledge Representation Model based on Hybrid App... |
DMSN
2009
ACM
14 years 3 months ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
NRHM
2000
13 years 8 months ago
2000
There are a number of different approaches for automatically selecting video clips from a video database and sequencing them into meaningful presentations for viewers. The video d...
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
Hybrid generative-discriminative techniques and, in particular, generative score-space classification methods have proven to be valuable approaches in tackling difficult object or...
SAMT
2009
Springer
14 years 3 months ago
2009
Springer
The increasing availability of multimedia (MM) resources, Web services as well as content, on the Web raises the need to automatically discover and process resources out of distrib...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...