4298 search results - page 195 / 860 » Computing at the top of the world |
105
click to vote
ICPR
2006
IEEE
16 years 3 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...
111
click to vote
IPPS
2006
IEEE
15 years 8 months 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 ...
112
click to vote
ADAEUROPE
2005
Springer
15 years 7 months 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...
138
click to vote
RTA
2005
Springer
15 years 7 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...
123
Voted
VECPAR
2004
Springer
15 years 7 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...