Sciweavers

14642 search results - page 2591 / 2929
» It's Time for a Change
Sort
View
TAMC
2010
Springer
15 years 5 months ago
Exploiting Restricted Linear Structure to Cope with the Hardness of Clique-Width
Clique-width is an important graph parameter whose computation is NP-hard. In fact we do not know of any other algorithm than brute force for the exact computation of clique-width...
Pinar Heggernes, Daniel Meister, Udi Rotics
TC
2010
15 years 5 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
TPLP
2010
115views more  TPLP 2010»
15 years 5 months ago
Towards closed world reasoning in dynamic open worlds
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
Martin Slota, João Leite
VTC
2010
IEEE
110views Communications» more  VTC 2010»
15 years 5 months ago
Internet Access Performance in LTE TDD
The Time Division Duplex (TDD) uplink-downlink configuration of the 3GPP Long Term Evolution (LTE) determines how the ten subframes in a radio frame are divided between the downlin...
Riikka Susitaival, Henning Wiemann, J. Ostergaard,...
WIAS
2010
98views more  WIAS 2010»
15 years 5 months ago
A multiagent architecture for controlling the Palamede satellite
The fundamental role of autonomous agents in managing activities of space systems has emerged some years ago with the NASA’s Remote Agent Experiment. However, the possible advant...
Francesco Amigoni, Stefano Gualandi, Daniele Menot...
« Prev « First page 2591 / 2929 Last » Next »