Sciweavers

1401 search results - page 107 / 281
» Literate Ontology Development
Sort
View
CDC
2009
IEEE
171views Control Systems» more  CDC 2009»
14 years 1 months ago
A control oriented model of a Common-Rail System for Gasoline Direct Injection engine
Abstract— Electronics has greatly contributed to the development of internal combustion engine. This progress has resulted in reducing environmental degradation, and yet continui...
Alessandro di Gaeta, Giovanni Fiengo, Angelo Palla...
AAAI
2006
13 years 11 months ago
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
Even under polynomial restrictions on plan length, conformant planning remains a very hard computational problem as plan verification itself can take exponential time. This heavy ...
Héctor Palacios, Hector Geffner
AMAI
2007
Springer
13 years 10 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
JSAC
2010
105views more  JSAC 2010»
13 years 5 months ago
Multi-Cell MIMO Cooperative Networks: A New Look at Interference
This paper presents an overview of the theory and currently known techniques for multi-cell MIMO (multiple input multiple output) cooperation in wireless networks. In dense network...
David Gesbert, Stephen V. Hanly, Howard Huang, Shl...
ICCS
2007
Springer
14 years 4 months ago
Construction of Ontology-Based Software Repositories by Text Mining
Software document repositories store artifacts produced in the course of developing software products. But most repositories are simply archives of documents. It is not unusual to ...
Yan Wu, Harvey P. Siy, Mansour Zand, Victor L. Win...