3238 search results - page 100 / 648 » Not Enough Points Is Enough |
147
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
We study the multiplication of multivariate power series. We show that over large enough fields, the bilinear complexity of the product modulo a monomial ideal M is bounded by th...
160
click to vote
WSTST
2005
Springer
15 years 11 months ago
2005
Springer
: In this paper, we discuss our challenge on how to give the creatures and ability to follow spatial restriction while keeping the complexity low enough to still allow for real-tim...
159
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
152
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. For systems that share enough structural and functional commonalities, reuse in schema development and data manipulation can be achieved by defining problem-oriented lang...
157
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...