Sciweavers

1412 search results - page 69 / 283
» types 2004
Sort
View
SELMAS
2004
Springer
14 years 2 months ago
Aspectizing Multi-agent Systems: From Architecture to Implementation
Agent architectures have to cope with a number of internal properties (concerns), such as autonomy, learning, and mobility. As the agent complexity increases, these agent propertie...
Alessandro F. Garcia, Uirá Kulesza, Carlos ...
COOPIS
2004
IEEE
14 years 15 days ago
GRIDKIT: Pluggable Overlay Networks for Grid Computing
A `second generation' approach to the provision of Grid middleware is now emerging which is built on service-oriented architecture and web services standards and technologies....
Paul Grace, Geoff Coulson, Gordon S. Blair, Lauren...
ECIR
2004
Springer
13 years 10 months ago
Answer Selection in a Multi-stream Open Domain Question Answering System
Abstract. Question answering systems aim to meet users' information needs by returning exact answers in response to a question. Traditional open domain question answering syst...
Valentin Jijkoun, Maarten de Rijke
ICPR
2004
IEEE
14 years 9 months ago
Spectral Sound Gap Filling
We present a new method for automatically filling in gaps of textural sounds. Our approach is to transform the signal to the time-frequency space, fill in the gap, and apply the i...
Alon Fishbach, Iddo Drori, Yehezkel Yeshurun
CADE
2004
Springer
14 years 9 months ago
Experiments on Supporting Interactive Proof Using Resolution
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
Jia Meng, Lawrence C. Paulson