451 search results - page 24 / 91 » Relationless Completeness and Separations |
161
click to vote
EMMCVPR
2009
Springer
16 years 8 days ago
2009
Springer
We introduce the concept of complementarity between data and smoothness term in modern variational optic flow methods. First we design a sophisticated data term that incorporates ...
150
click to vote
ASSETS
2009
ACM
16 years 7 days ago
2009
ACM
This paper presents a unique approach to undergraduate teaching in which accessibility topics are completely integrated throughout the curriculum, treating accessibility not as a ...
172
click to vote
ICONS
2008
IEEE
16 years 4 days ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
145
click to vote
ICRA
2008
IEEE
16 years 4 days ago
2008
IEEE
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
139
click to vote
COMSWARE
2007
IEEE
16 years 1 days ago
2007
IEEE
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...