302 search results - page 25 / 61 » Science in the Palms of Their Hands |
AUTOMATICA
2006
13 years 7 months ago
2006
In this paper, the stability of equilibrium formations for multiple unicycle systems in cyclic pursuit is studied in detail. The cyclic pursuit setup is particularly simple in tha...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
This work explores the potential for increased synergy between gazetteers and high-resolution remote sensed imagery. These two data sources are complementary. Gazetteers provide h...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
We call a CNF formula linear if any two clauses have at most one variable in common. We show that there exist unsatisfiable linear k-CNF formulas with at most 4k2 4k clauses, and ...
STACS
2009
Springer
14 years 2 months ago
2009
Springer
The paper investigates the power of the dynamic complexity classes DynFO, DynQF and DynPROP over string languages. The latter two classes contain problems that can be maintained us...