Sciweavers

1376 search results - page 229 / 276
» The Localization Hypothesis and Machines
Sort
View
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
15 years 11 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
SSDBM
2010
IEEE
248views Database» more  SSDBM 2010»
15 years 11 months ago
Client + Cloud: Evaluating Seamless Architectures for Visual Data Analytics in the Ocean Sciences
Science is becoming data-intensive, requiring new software architectures that can exploit resources at all scales: local GPUs for interactive visualization, server-side multi-core ...
Keith Grochow, Bill Howe, Mark Stoermer, Roger S. ...
ICRA
2002
IEEE
141views Robotics» more  ICRA 2002»
15 years 11 months ago
Realtime Humanoid Motion Generation through ZMP Manipulation Based on Inverted Pendulum Control
Humanoid robot is expected as a rational form of machine to act in the real human environment and support people through interaction with them. Current humanoid robots, however, l...
Tomomichi Sugihara, Yoshihiko Nakamura, Hirochika ...
IEEEPACT
2002
IEEE
15 years 11 months ago
Compiler-Controlled Caching in Superword Register Files for Multimedia Extension Architectures
In this paper, we describe an algorithm and implementation of locality optimizations for architectures with instruction sets such as Intel’s SSE and Motorola’s AltiVec that su...
Jaewook Shin, Jacqueline Chame, Mary W. Hall
ITCC
2002
IEEE
15 years 11 months ago
Taxonomy-based Adaptive Web Search Method
Current crawler-based search engines usually return a long list of search results containing a lot of noise documents. By indexing collected documents on topic path in taxonomy, t...
Said Mirza Pahlevi, Hiroyuki Kitagawa