3844 search results - page 341 / 769 » Modular interpreted systems |
150
Voted
JISBD
2003
15 years 6 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
146
click to vote
ACL
1998
15 years 6 months ago
1998
We present an algorithm for bilingual word alignment that extends previous work by treating multi-word candidates on a par with single words, and combining some simple assumptions...
139
click to vote
NIPS
1994
15 years 6 months ago
1994
This paper discusses the linearly weighted combination of estimators in which the weighting functions are dependent on the input. We show that the weighting functions can be deriv...
190
click to vote
SPLC
2007
15 years 6 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
127
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...