1237 search results - page 142 / 248 » Strictness and Totality Analysis |
159
click to vote
CLEF
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. The general photographic ad-hoc retrieval task of the ImageCLEF 2007 evaluation campaign is described. This task provides both the resources and the framework necessary t...
153
click to vote
CSL
2007
Springer
16 years 6 days ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
148
click to vote
VLSI
2007
Springer
16 years 4 days ago
2007
Springer
— This paper discusses reduction of the number of product terms in representation of totally symmetric Boolean functions by Sum of Products (SOP) and Fixed Polarity ReedMuller (F...
136
click to vote
ACSC
2006
IEEE
16 years 3 days ago
2006
IEEE
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
138
click to vote
HICSS
2006
IEEE
16 years 2 days ago
2006
IEEE
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...