Sciweavers

1401 search results - page 107 / 281
» Literate Ontology Development
Sort
View
CDC
2009
IEEE
171views Control Systems» more  CDC 2009»
15 years 6 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...
133
Voted
AAAI
2006
15 years 5 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
138
Voted
AMAI
2007
Springer
15 years 3 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...
145
Voted
JSAC
2010
105views more  JSAC 2010»
14 years 10 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
15 years 9 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...