Sciweavers

3471 search results - page 493 / 695
» User activity histories
Sort
View
DATASCIENCE
2008
79views more  DATASCIENCE 2008»
15 years 6 months ago
Report from the first Workshop on Extremely Large Databases
Industrial and scientific datasets have been growing enormously in size and complexity in recent years. The largest transactional databases and data warehouses can no longer be ho...
Jacek Becla, Kian-Tat Lim
ENVSOFT
2008
60views more  ENVSOFT 2008»
15 years 6 months ago
A software tool for designing cost-effective compensation payments for conservation measures
Compensation payments to farmers who apply species-friendly farming activities are a common instrument to reconcile nature conservation with agriculture in Europe. In order to des...
Karin Ulbrich, Martin Drechsler, Frank Wätzol...
FMSD
2008
110views more  FMSD 2008»
15 years 6 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
IEE
2008
91views more  IEE 2008»
15 years 6 months ago
Story-driven approach to software evolution
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
Juergen Rilling, Wen Jun Meng, René Witte, ...
CORR
2006
Springer
101views Education» more  CORR 2006»
15 years 6 months ago
Foundations of Modern Language Resource Archives
A number of serious reasons will convince an increasing amount of researchers to store their relevant material in centers which we will call "language resource archives"...
Peter Wittenburg, Daan Broeder, Wolfgang Klein, St...