5550 search results - page 54 / 1110 » Different Approaches to Proof Systems |
155
Voted
IADIS
2003
15 years 7 months ago
2003
The increasing demand for group support in software has drawn more attention to the field of designing Group Support Systems. Notwithstanding all the research in this field the pr...
148
click to vote
ISLPED
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we propose a set of rules for consistent estimation of the real performance and power features of the latch and flip-flop structures. A new simulation and optimizati...
169
Voted
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
142
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, the CFD approach is used to simulate the thermal behavior in a sensitive high-Q gyroscope. The electromagnetically driving wires, in which the alternating current f...
158
Voted
IJCSA
2007
15 years 6 months ago
2007
Preference-based queries often referred to as skyline queries play an important role in cooperative query processing. However, their prohibitive result sizes pose a severe challen...