2940 search results - page 156 / 588 » Relational Parametricity and Control |
150
click to vote
PAMI
2010
14 years 11 months ago
2010
We present a new approach for building reconstruction from a single Digital Surface Model (DSM). It treats buildings as an assemblage of simple urban structures extracted from a li...
168
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We consider a suboptimal solution path algorithm for the Support Vector Machine. The solution path algorithm is an effective tool for solving a sequence of a parametrized optimiz...
135
Voted
CCS
2006
ACM
15 years 8 months ago
2006
ACM
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
145
click to vote
IJCAI
2007
15 years 6 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
178
click to vote
EVOW
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We describe a set of preliminary experiments to evolve spiking neural controllers for a vision-based mobile robot. All the evolutionary experiments are carried out on phy...