7421 search results - page 221 / 1485 » In search of dependable design |
171
click to vote
SOFSEM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
159
click to vote
DEXA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we study the performance of linguisticallymotivated conflation techniques for Information Retrieval in Spanish. In particular, we have studied the applicat...
193
click to vote
AIPS
2008
15 years 9 months ago
2008
In this paper we face the Job Shop Scheduling Problem with Sequence Dependent Setup Times by means of a genetic algorithm hybridized with local search. We have built on a previous...
147
click to vote
ICWSM
2010
15 years 8 months ago
2010
Social media sites derive their value by providing a popular and dependable community for participants to engage, share, and interact. This community value and related services li...
147
click to vote
LREC
2008
15 years 8 months ago
2008
This paper discusses the use of computational linguistic technology to extract definitions from a large corpus of German court decisions. We present a corpus-based survey of defin...