11455 search results - page 1859 / 2291 » The Rayset and Its Applications |
197
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
148
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
A commonly employed measure of the signal amplification properties of an input/output system is its induced L2 norm, sometimes also known as H gain. In general, however, it is ext...
121
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
In this note the stability of a second-order quasi-polynomial with a single delay is studied. Although there is a vast literature on this problem, most available solutions are lim...
188
click to vote
CACM
2006
15 years 7 months ago
2006
ional thinking is using abstraction and decomposition when attacking a large complex task or designing a large complex system. It is separation of concerns. It is choosing an appro...
166
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
We propose an acceleration scheme for real-time many-body dynamic collision detection. We kinetize the sweep and prune method for many-body collision pruning, extending its applic...