4961 search results - page 136 / 993 » Homomorphism-Homogeneous Relational Structures |
149
Voted
IWPC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Correcting software defects accounts for a significant amount of resources such as time, money and personnel. To be able to focus testing efforts where needed the most,...
159
click to vote
CORR
2010
Springer
15 years 1 days ago
2010
Springer
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
153
Voted
VMCAI
2012
Springer
13 years 10 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
188
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
We address the problem of weakly supervised semantic segmentation. The training images are labeled only by the classes they contain, not by their location in the image. On test im...
219
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Navier’s equations modelling linear elastic solid deformations are embedded within an Extended Kalman Filter (EKF) to compute a sequential Bayesian estimate for the Non-Rigid St...