8695 search results - page 279 / 1739 » Making the Complex Simple |
178
click to vote
TPHOL
2005
IEEE
16 years 8 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
176
click to vote
JCDL
2005
ACM
16 years 7 days ago
2005
ACM
In this paper, we discuss the findings of an in-depth observational study of reading and within-document navigation and add to these findings the results of a second analysis of h...
177
click to vote
EGC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We describe the idea of a Science Gateway, an applicationspecific task wrapped as a web service, and some examples of these that are being implemented on the US TeraGrid...
192
click to vote
MABS
2005
Springer
16 years 5 days ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...
174
click to vote
NOSSDAV
2004
Springer
16 years 1 days ago
2004
Springer
Despite many years of research, fair queuing still faces a number of implementation challenges in high speed routers. In particular, in spite of proposals such as DiffServ, the st...