1626 search results - page 61 / 326 » Subtyping with Power Types |
128
Voted
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
In this work, Self Organizing Map (SOM) is used in order to classify the types of defections in electrical systems, known as Power Quality (PQ) events. The features for classificat...
127
Voted
TYPES
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
125
Voted
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
—Different types of power-saving techniques have been proposed in various fields to alleviate the limitation on the battery lifetime for the mobile stations (MSs). In order to p...
105
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
With reference to digital input power amplifier for automotive audio applications, the paper presents an exhaustive exploration of the huge mixed-signal space to find optimal trad...
126
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...