1743 search results - page 5 / 349 » Generalized Modal Satisfiability |
150
Voted
MCSS
2007
Springer
15 years 2 months ago
2007
Springer
The classical Matrosov theorem concludes uniform asymptotic stability of time varying systems via a weak Lyapunov function (positive definite, decrescent, with negative semidefi...
149
click to vote
WOB
2008
15 years 3 months ago
2008
Abstract. We study a parametrized definition of gene clusters that permits control over the trade-off between increasing gene content versus conserving gene order within a cluster....
253
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
124
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— Many architectures have been proposed to solve tightly-coupled multirobot tasks (MT) through coalitions of heterogeneous robots. However, several issues remain unaddressed. As ...
80
Voted
ICCD
1991
IEEE
15 years 6 months ago
1991
IEEE
