1559 search results - page 229 / 312 » Fundamentals of Generic Programming |
157
click to vote
HPDC
2005
IEEE
16 years 9 days ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
191
Voted
SACMAT
2005
ACM
16 years 7 days ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
186
click to vote
SPIN
2004
Springer
16 years 23 hour ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
209
click to vote
INFOVIS
2003
IEEE
15 years 12 months ago
2003
IEEE
We introduce an approach to visual analysis of multivariate data that integrates several methods from information visualization, exploratory data analysis (EDA), and geovisualizat...
182
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Knowledge transfer between expert and novice agents is a challenging problem given that the knowledge representation and learning algorithms used by the novice learner can be fund...