1626 search results - page 131 / 326 » Subtyping with Power Types |
127
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
144
click to vote
IFL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
112
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
Die-to-die and within-die variations impact the frequency and power of fabricated dies, affecting functionality, performance, and revenue. Variation-tolerant circuits and post-sil...
123
click to vote
CIVR
2008
Springer
15 years 6 months ago
2008
Springer
Concept classification is important to access visual information on the level of objects and scene types. So far, intensity-based features have been widely used. To increase discr...
140
click to vote
ISTA
2007
15 years 5 months ago
2007
: Exception handling is one of the powerful means of achieving high dependability and fault-tolerance in service-oriented architecture (SOA). The paper introduces the results of ex...