Sciweavers

543 search results - page 42 / 109
» Overview of WebCLEF 2007
Sort
View
ICCCN
2007
IEEE
13 years 11 months ago
A Unified Software Architecture to Enable Cross-Layer Design in the Future Internet
While research on cross-layer network optimization has been progressing, useful implementations have been lagging because the current Internet architecture does not accommodate cro...
Ilia Baldine, Manoj Vellala, Anjing Wang, George N...
FLAIRS
2007
13 years 10 months ago
TICK: A Content Management System Framework for Semantic Web Research and Instruction
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
Robert W. McGrail, S. Rebecca Thomas
AHS
2007
IEEE
208views Hardware» more  AHS 2007»
13 years 9 months ago
Evolving Redundant Structures for Reliable Circuits - Lessons Learned
Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to the creat...
Asbjørn Djupdal, Pauline C. Haddow
CISIS
2007
IEEE
13 years 9 months ago
Selecting Grid-Agent-Team to Execute User-Job--Initial Solution
Recently we have proposed a novel approach to utilizing agent teams as resource brokers and managers in the Grid. Thus far we have presented an overview of the proposed approach d...
Mateusz Dominiak, Maria Ganzha, Marcin Paprzycki
AMAI
2007
Springer
13 years 8 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans