16257 search results - page 199 / 3252 » D-finiteness: algorithms and applications |
146
click to vote
FPL
2005
Springer
16 years 1 days ago
2005
Springer
We present experimental evidence that multiple compute-units, compiled from sequential high-level language input programs, can be merged into a reduced number of configurations f...
166
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
In MRI research labs, algorithms are typically implemented in MATLAB or IDL. If performance is an issue they are ported to C and integrated with interpreted systems, not fully uti...
188
click to vote
SPAA
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we examine the problem of large-volume data dissemination via overlay networks. A natural way to maximize the throughput of an overlay multicast session is to split...
158
click to vote
DLOG
2001
15 years 8 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
164
click to vote
MVA
1998
15 years 7 months ago
1998
We summarise several techniques in use in our visual robotics research. Our aim is to develop robots that are thoroughly autonomous and adaptable. We describe a system that is ind...