Sciweavers

3965 search results - page 505 / 793
» Effectivity of Regular Spaces
Sort
View
165
Voted
JPDC
2006
117views more  JPDC 2006»
15 years 6 months ago
Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver
We address the problem of efficient out-of-core code generation for a special class of imperfectly nested loops encoding tensor contractions arising in quantum chemistry computati...
Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Ba...
JSAC
2006
69views more  JSAC 2006»
15 years 6 months ago
Signal model and receiver algorithms for a transmit-reference ultra-wideband communication system
A communication system based on transmit-reference (TR) ultra-wideband (UWB) is studied and further developed. Introduced by Hoctor and Tomlinson, the aim of the TR-UWB transceiver...
Q. H. Dang, Antonio Trindade, Alle-Jan van der Vee...
KAIS
2006
94views more  KAIS 2006»
15 years 6 months ago
Human-centered ontology engineering: The HCOME methodology
The fast emergent and continuously evolving areas of the Semantic Web and Knowledge Management make the incorporation of ontology engineering tasks in knowledge-empowered organiza...
Konstantinos Kotis, George A. Vouros
195
Voted
IJVR
2007
108views more  IJVR 2007»
15 years 6 months ago
Design and Narrative Structure for the Virtual Human Scenarios
—This article describes the design of the two application scenarios of the Virtual Human project and its integration into the Virtual Human system. This includes overall concepts...
Stefan Göbel, Ido Aharon Iurgel, Markus R&oum...
JAIR
2007
79views more  JAIR 2007»
15 years 6 months ago
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
Carmel Domshlak, Jörg Hoffmann