3028 search results - page 286 / 606 » Integrating Temporal Logics |
240
click to vote
JUCS
2010
15 years 5 months ago
2010
: This study provides a conceptual framework with respect to service innovation, especially from a service-dominant logic (S-D logic) perspective. Even though innovation has been d...
139
click to vote
ITC
2003
IEEE
16 years 3 days ago
2003
IEEE
Prior to the mid 1980s, the dominance of through-hole packaging of integrated circuits (ICs) provided easy access to nearly every pin of every chip on a printed circuit board. Pro...
163
click to vote
COLING
1994
15 years 8 months ago
1994
We present an integrated architecture for word-level and sentence-level processing in a unification-based paradigm. The core of the system is a CLP implementation of a nnilication...
166
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
In this paper an efficient algorithm for the synthesis and exact minimization of ESCT(Exclusive or Sum of Complex Terms) expressions for Boolean functions of at most six variables...
155
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Subthreshold circuit designs have been demonstrated to be a successful alternative when ultra-low power consumption is paramount. However, the characteristics of MOS transistors i...