2425 search results - page 409 / 485 » An abstraction of the Lidar measurements |
124
Voted
ATVA
2011
Springer
14 years 17 days ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
114
click to vote
CEC
2011
IEEE
14 years 16 days ago
2011
IEEE
Abstract—Higher organisms are able to respond to continuously changing external conditions by transducing cellular signals into specific regulatory programs, which control gene ...
178
Voted
CIARP
2011
Springer
14 years 16 days ago
2011
Springer
Abstract. In many classification problems, and in particular in medical domains, it is common to have an unbalanced class distribution. This pose problems to classifiers as they ...
116
Voted
ECBS
2011
IEEE
14 years 10 days ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...
101
Voted
CORR
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that takes as input a polynomial Q ⊂ D[X1, . . . , Xk], and computes a description of ...