2687 search results - page 213 / 538 » On the Conversion between Number Systems |
184
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
166
click to vote
EDOC
2006
IEEE
16 years 22 days ago
2006
IEEE
For some time, we have focused our research on the generic B2B middleware services for managing interenterprise communities of autonomous business services. In contrast to some ea...
132
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
174
click to vote
ICCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Invertebrate nervous systems serve as important models for neuroscience research because they are comprised of relatively small numbers of individually identified neurons...
155
click to vote
CAISE
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we present a coordination approach towards creating and maintaining alignment between the business and its support systems. The business objectives are related to the...