4507 search results - page 120 / 902 » Generalized Binet dynamics |
119
click to vote
STOC
2003
ACM
16 years 4 months ago
2003
ACM
We study novel combinatorial properties of graphs that allow us to devise a completely new approach to dynamic all pairs shortest paths problems. Our approach yields a fully dynam...
118
click to vote
DCC
2010
IEEE
15 years 11 months ago
2010
IEEE
It is known that modeling an information source via a symbolic dynamical system evolving over the unit interval, leads to a natural lossless compression scheme attaining the entro...
137
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
122
click to vote
ICTAI
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper a new learning scheme for SAT is proposed. The originality of our approach arises from its ability to achieve clause learning even if no conflict occurs. This clear...
144
click to vote
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
Web forms are a common mechanism for collecting information online. They pose some limitations which negatively affect ease and flexibility of user interaction. These limitations ...