2996 search results - page 187 / 600 » Cross-lingual relevance models |
ABIALS
2008
Springer
14 years 4 months ago
2008
Springer
Anticipation and prediction have been identified as key functions of many brain areas facilitating recognition, perception, and planning. In this chapter we present a hierarchical ...
PVM
2007
Springer
14 years 4 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
We present methods for improving text search retrieval of visual multimedia content by applying a set of visual models of semantic concepts from a lexicon of concepts deemed relev...
GI
2005
Springer
14 years 3 months ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...