3504 search results - page 296 / 701 » Computational Aspects of Equilibria |
176
Voted
DSVIS
2006
Springer
15 years 11 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
208
click to vote
ERSHOV
2006
Springer
15 years 11 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
221
Voted
CLUSTER
2001
IEEE
15 years 11 months ago
2001
IEEE
In this paper we report experiences on a parallel implementation of a standard cell placement algorithm on a cluster of myrinet connected PCs. The proposed algorithm is based on a...
204
click to vote
ECCV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we show that it is possible to calibrate a camera using just a flat, textureless Lambertian surface and constant illumination. This is done using the effec...
208
click to vote
JSSPP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Buffered coscheduling is a new methodology that can substantially increase resource utilization, improve response time, and simplify the development of the run-time suppo...