Sciweavers

3040 search results - page 267 / 608
» Independent Natural Extension
Sort
View
164
Voted
AAAI
2008
15 years 9 months ago
Achieving Far Transfer in an Integrated Cognitive Architecture
Transfer is the ability to employ knowledge acquired in one task to improve performance in another. We study transfer in the context of the ICARUS cognitive architecture, which su...
Dan Shapiro, Tolga Könik, Paul O'Rorke
DLOG
2008
15 years 9 months ago
All Elephants are Bigger than All Mice
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...
WSC
2008
15 years 9 months ago
Distributed multi-layered workload synthesis for testing stream processing systems
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...
Eric Bouillet, Parijat Dube, David George, Zhen Li...
CADE
2008
Springer
15 years 8 months ago
LogAnswer - A Deduction-Based Question Answering System (System Description)
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
Ulrich Furbach, Ingo Glöckner, Hermann Helbig...
ACISP
2008
Springer
15 years 8 months ago
Efficient One-Round Key Exchange in the Standard Model
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
Colin Boyd, Yvonne Cliff, Juan Manuel Gonzá...