1291 search results - page 179 / 259 » Computing the multiplicity structure in solving polynomial s... |
210
click to vote
EUROSYS
2011
ACM
14 years 5 months ago
2011
ACM
Multicore computers pose a substantial challenge to infrastructure software such as operating systems or databases. Such software typically evolves slower than the underlying hard...
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
101
click to vote
MICAI
2004
Springer
15 years 7 months ago
2004
Springer
A number of problems in computer science can be solved efficiently with the so called memory based or kernel methods. Among this problems (relevant to the AI community) are multime...
118
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We consider the problem of distributed exploration or coverage of an unknown environment by a swarm of mobile minirobots that have limited memory, computation and communication ca...
WSCG
2000
15 years 2 months ago
2000
The article offers a new approach towards the construction of recognition features independent of images' displacement or linear deformation. The distinguishing characteristi...