451 search results - page 24 / 91 » Relationless Completeness and Separations |
127
click to vote
EMMCVPR
2009
Springer
15 years 10 months 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 ...
126
Voted
ASSETS
2009
ACM
15 years 10 months 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 ...
145
click to vote
ICONS
2008
IEEE
15 years 10 months 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 ...
125
click to vote
ICRA
2008
IEEE
15 years 10 months 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...
111
Voted
COMSWARE
2007
IEEE
15 years 9 months 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 ...