7197 search results - page 1108 / 1440 » On the computational power of BlenX |
150
click to vote
AISC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
189
click to vote
ICCHP
2004
Springer
16 years 5 days ago
2004
Springer
: Multimedia and Hypermedia technologies can be successfully used in education and rehabilitation for cognitively disabled persons. In particular, storytelling has always proved su...
175
click to vote
ICS
2004
Tsinghua U.
16 years 5 days ago
2004
Tsinghua U.
In this paper, we study energy conservation techniques for disk array-based network servers. First, we introduce a new conservation technique, called Popular Data Concentration (P...
186
click to vote
IMR
2004
Springer
16 years 5 days ago
2004
Springer
A great challenge for flow simulators of new generation is to gain more accuracy at well proximity within complex geological structures. For this purpose, a new approach based on...
197
click to vote
CSB
2003
IEEE
16 years 2 days ago
2003
IEEE
NMR resonance peak assignment is one of the key steps in solving an NMR protein structure. The assignment process links resonance peaks to individual residues of the target protei...