4460 search results - page 277 / 892 » Formal methods for interactive systems |
168
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new approach to the matting problem which splits the task into two steps: interactive trimap extraction followed by trimap-based alpha matting. By doing so we gain co...
184
click to vote
IJCNN
2007
IEEE
16 years 28 days ago
2007
IEEE
— Category Ranking is a variant of the multi-label classification problem, in which, rather than performing a (hard) assignment to an object of categories from a predefined set...
201
click to vote
IFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
160
click to vote
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...
163
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...