5699 search results - page 375 / 1140 » Alternating model trees |
208
Voted
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
Recreating the temporal illumination variations of natural scenes has great potential for realistic synthesis of video sequences. In this paper, we present a 3D (model-based) appr...
316
Voted
POPL
2005
ACM
16 years 8 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
260
Voted
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
180
Voted
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— We present an adaptive control approach combining forward kinematics model learning methods with the operational space control approach. This combination endows the rob...
209
Voted
ICDM
2008
IEEE
16 years 2 months ago
2008
IEEE
The problem of overlapping clustering, where a point is allowed to belong to multiple clusters, is becoming increasingly important in a variety of applications. In this paper, we ...