2519 search results - page 379 / 504 » Reasoning with Textual Cases |
146
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
146
click to vote
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
143
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
141
click to vote
WECWIS
2003
IEEE
15 years 10 months ago
2003
IEEE
There are many e-commerce applications on the web. A common shortcoming is the lack of customer service and marketing analysis tools in most ecommerce web sites. In order to overc...
130
Voted
SPAA
2003
ACM
15 years 9 months ago
2003
ACM
The current literature offers two extremes of nonblocking software synchronization support for concurrent data structure design: intricate designs of specific structures based o...