3972 search results - page 136 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
135
click to vote
IEEEICCI
2006
IEEE
15 years 9 months ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
144
Voted
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
140
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
127
Voted
APN
2003
Springer
15 years 8 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
140
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We consider a visual scene analysis scenario where objects (e.g. people, cars) pass through the viewing field of a static camera and need to be detected and segmented from the bac...