5550 search results - page 632 / 1110 » Different Approaches to Proof Systems |
193
click to vote
CSMR
2005
IEEE
16 years 25 days ago
2005
IEEE
Analyzing historical information can show how a software system evolved into its current state, which parts of the system are stable and which have changed more. However, historic...
147
click to vote
DATE
2005
IEEE
16 years 25 days ago
2005
IEEE
Application of Microelectronic to bioanalysis is an emerging field which holds great promise. From the standpoint of electronic and system design, biochips imply a radical change ...
160
click to vote
WISE
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. In recent times, there has been an increased utilization of serverside XSLT systems as part of e-commerce and e-publishing applications. For the high volumes of data in t...
168
click to vote
PREMI
2005
Springer
16 years 21 days ago
2005
Springer
The configuration of a computational intelligence (CI) method is responsible for its intelligence (e.g. tolerance, flexibility) as well as its accuracy. In this paper, we investiga...
144
click to vote
ARCS
2004
Springer
16 years 18 days ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...