Sciweavers

5215 search results - page 205 / 1043
» A model of normative power
Sort
View
SAMOS
2007
Springer
16 years 1 months ago
A Study of Energy Saving in Customizable Processors
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
Paolo Bonzini, Dilek Harmanci, Laura Pozzi
HICSS
2000
IEEE
160views Biometrics» more  HICSS 2000»
15 years 11 months ago
Analysis of Coordinated Multilateral Trades
A new operating paradigm is still needed for the power industry in order to achieve a workable deregulated market. The two main proposals, namely the Bilateral and the Poolco mode...
Pierre-François D. Quet, Jose B. Cruz Jr., ...
LICS
2010
IEEE
15 years 5 months ago
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
Yuguo He
RIVF
2007
15 years 8 months ago
Generalized Percolation Processes Using Pretopology Theory
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
Soufian Ben Amor, V. Levorato, Ivan Lavallé...
DELOS
2000
15 years 8 months ago
Knowledge Representation meets Digital Libraries
In this short paper, the basic ideas behind a project on the application of Knowledge Representation formalisms and technologies for Conceptual Modelling and Query Management are ...
Enrico Franconi