2042 search results - page 137 / 409 » Variable Number of |
167
click to vote
ATAL
2005
Springer
16 years 15 days ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
170
Voted
PREMI
2005
Springer
16 years 14 days ago
2005
Springer
We address the problem of fusing sparse and noisy depth data obtained from a range finder with features obtained from intensity images to estimate ego-motion and refine 3D struct...
176
Voted
ECOOP
2004
Springer
16 years 11 days ago
2004
Springer
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
199
Voted
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
169
Voted
EUSFLAT
2003
15 years 8 months ago
2003
A descriptive Takagi-Sugeno fuzzy rule based system suffers under the curse of dimensionality since the number of rules is equal to a fuzzy system with a fully filled up decision...