5243 search results - page 714 / 1049 » Reasoning About Strategies |
178
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
In 2002, Japan announced the Earth Simulator—a supercomputer based on low-volume vector processors and a custom network—and reported that computational scientists had used it ...
202
click to vote
WMTE
2005
IEEE
16 years 11 days ago
2005
IEEE
: There is an ever growing number of mobile learning applications based on location-awareness, However, there is still a lack of information concerning how it might impact socio-co...
172
click to vote
SAC
2005
ACM
16 years 11 days ago
2005
ACM
We present a tool which is designed to be used as a code compression advisory system for object code to be run on an embedded processor. All the compression schemes support run-ti...
179
click to vote
EVOW
2005
Springer
16 years 10 days ago
2005
Springer
This work presents an evolutionary approach to improve the infection algorithm to solve the problem of dense stereo matching. Dense stereo matching is used for 3D reconstruction in...
185
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...