Sciweavers

2924 search results - page 414 / 585
» An Intelligent Multi-Dictionary Environment
Sort
View
HICSS
2007
IEEE
164views Biometrics» more  HICSS 2007»
16 years 26 days ago
Supporting Knowledge Transfer through Decomposable Reasoning Artifacts
Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communic...
William Pike, Richard May, Alan Turner
ICC
2007
IEEE
131views Communications» more  ICC 2007»
16 years 26 days ago
Cooperative Resource Management in Cognitive Radio
Cognitive radio is generally understood as an intelligent wireless communication system aiming at the efficient utilization of radio resources. We argue for the extension of its sc...
Vuk Marojevic, Xavier Revés, Antoni Gelonch
TPHOL
2007
IEEE
16 years 24 days ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy
AISADM
2007
Springer
16 years 22 days ago
Peer-to-Peer Data Mining, Privacy Issues, and Games
Peer-to-Peer (P2P) networks are gaining increasing popularity in many distributed applications such as file-sharing, network storage, web caching, searching and indexing of releva...
Kanishka Bhaduri, Kamalika Das, Hillol Kargupta
AOSE
2007
Springer
16 years 21 days ago
Open Agent Systems???
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
Frank Dignum, Virginia Dignum, John Thangarajah, L...