8695 search results - page 279 / 1739 » Making the Complex Simple |
201
click to vote
TPHOL
2005
IEEE
16 years 24 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...
203
click to vote
JCDL
2005
ACM
16 years 23 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...
204
click to vote
EGC
2005
Springer
16 years 22 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...
206
click to vote
MABS
2005
Springer
16 years 21 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...
196
click to vote
NOSSDAV
2004
Springer
16 years 17 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...