4298 search results - page 195 / 860 » Computing at the top of the world |
173
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Finding a small set of representative instances for large datasets can bring various benefits to data mining practitioners so they can (1) build a learner superior to the one cons...
171
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
Location based services and applications are buzzwords nowadays, yet they have been around for quite some time in a variety of applications. However these applications are scarce ...
175
click to vote
ADAEUROPE
2005
Springer
16 years 1 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
201
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
178
click to vote
VECPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...