Sciweavers

13090 search results - page 2384 / 2618
» Usable artificial intelligence
Sort
View
DRM
2007
Springer
16 years 23 days ago
Data structures for limited oblivious execution of programs while preserving locality of reference
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
Avinash V. Varadarajan, Ramarathnam Venkatesan, C....
EPIA
2007
Springer
16 years 23 days ago
Prospective Logic Agents
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...
Luís Moniz Pereira, Gonçalo Lopes
EPIA
2007
Springer
16 years 23 days ago
Towards Tractable Local Closed World Reasoning for the Semantic Web
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
Matthias Knorr, José Júlio Alferes, ...
EPIA
2007
Springer
16 years 23 days ago
Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains
Abstract. In this work, a Simulated Annealing (SA) algorithm is proposed for a Metabolic Engineering task: the optimization of the set of gene deletions to apply to a microbial str...
Miguel Rocha, Rui Mendes, Paulo Maia, José ...
EPIA
2007
Springer
16 years 23 days ago
Using Ontologies for Software Development Knowledge Reuse
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
Bruno Antunes, Nuno Seco, Paulo Gomes
« Prev « First page 2384 / 2618 Last » Next »