2877 search results - page 413 / 576 » Complex Decision Making Processes: their Modelling and Suppo... |
ASM
2010
ASM
14 years 4 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
RE
2001
Springer
14 years 1 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
AVSS
2009
IEEE
14 years 4 months ago
2009
IEEE
—In this paper, we consider the challenging problem of unusual event detection in video surveillance systems. The proposed approach makes a step toward generic and automatic dete...
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
In this paper we propose a method for extending the standard motion estimation algorithms used in video compression algorithms, to incorporate motion parameters that describe non-...
ICIP
2007
IEEE
14 years 3 months ago
2007
IEEE
Numerous approaches for distributed video coding have been recently proposed. One of main motivations for these techniques is the possibility of achieving complexity tradeoffs bet...