1670 search results - page 125 / 334 » On Skolemization in constructive theories |
187
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
145
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
130
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
148
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The increasingly high penetration rate of mobile phones and the consequent exposure of subscribers to mobile technology present high hopes for the adoption of mobile commerce. Are...
165
click to vote
INFOVIS
1999
IEEE
15 years 10 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...