7124 search results - page 1375 / 1425 » Programming Languages and Operating Systems |
151
click to vote
TLCA
1997
Springer
15 years 6 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
134
Voted
SIGIR
1995
ACM
15 years 5 months ago
1995
ACM
The full integration of information retrieval (IR) features into a database management system (DBMS) has long been recognized as both a significant goal and a challenging undertak...
110
Voted
WSC
1997
15 years 3 months ago
1997
The AutoSchedTM finite capacity planning and scheduling tool helps you increase throughput, reduce in-process inventory, and increase equipment and personnel utilization. AutoSche...
124
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Ad auctions in sponsored search support"broad match"that allows an advertiser to target a large number of queries while bidding only on a limited number. While giving mo...
137
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...