Sciweavers

2576 search results - page 268 / 516
» The Complexity of Zero Knowledge
Sort
View
CBMS
2005
IEEE
16 years 8 days ago
Challenges of Ultra Large Scale Integration of Biomedical Computing Systems
The NCRI Informatics Initiative is overseeing the implementation of an informatics framework for the UK cancer research community. The framework advocates an integrated multidisci...
R. H. J. Begent, J. Michael Brady, Anthony Finkels...
CCGRID
2005
IEEE
16 years 8 days ago
Enabling technologies for future learning scenarios: the semantic grid for human learning
In this paper, starting from the limitations and constrains of traditional human learning approaches, we outline new suitable approaches to education and training in future knowle...
Angelo Gaeta, Pierluigi Ritrovato, Francesco Orciu...
DASFAA
2005
IEEE
115views Database» more  DASFAA 2005»
16 years 8 days ago
A Unifying Framework for Merging and Evaluating XML Information
Abstract. With the ever increasing connection between XML information systems over the Web, users are able to obtain integrated sources of XML information in a cooperative manner, ...
Ho Lam Lau, Wilfred Ng
DSRT
2005
IEEE
16 years 8 days ago
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
Hessam S. Sarjoughian, Dongping Huang
ICTAI
2005
IEEE
16 years 7 days ago
Good Learning and Implicit Model Enumeration
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
António Morgado, João P. Marques Sil...