Sciweavers

1626 search results - page 131 / 326
» Subtyping with Power Types
Sort
View
CSL
2006
Springer
15 years 8 months ago
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
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...
Alexander Moshe Rabinovich, Wolfgang Thomas
IFL
2000
Springer
15 years 8 months ago
Non-determinism Analysis in a Parallel-Functional Language
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...
Ricardo Pena, Clara Segura
DAC
2005
ACM
15 years 6 months ago
Variation-tolerant circuits: circuit solutions and techniques
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...
James Tschanz, Keith A. Bowman, Vivek De
CIVR
2008
Springer
227views Image Analysis» more  CIVR 2008»
15 years 6 months ago
A comparison of color features for visual concept classification
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...
Koen E. A. van de Sande, Theo Gevers, Cees G. M. S...
ISTA
2007
15 years 5 months ago
Exception Analysis in Service-Oriented Architecture
: 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...
Anatoliy Gorbenko, Elyasi Komari Iraj, Vyacheslav ...