Sciweavers

3951 search results - page 486 / 791
» Automatic amortized analysis
Sort
View
VLDB
1997
ACM
169views Database» more  VLDB 1997»
15 years 11 months ago
Mining Insurance Data at Swiss Life
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
Jörg-Uwe Kietz, Ulrich Reimer, Martin Staudt
VL
1994
IEEE
164views Visual Languages» more  VL 1994»
15 years 11 months ago
Similarity Patterns in Language
Dotplot is a technique for visualizing patterns of string matches in millions of lines of text and code. Patterns may be explored interactively or detected automatically. Applicat...
Jonathan Helfman
BIRTHDAY
2007
Springer
15 years 10 months ago
Automating Verification of Cooperation, Control, and Design in Traffic Applications
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
Werner Damm, Alfred Mikschl, Jens Oehlerking, Erns...
SIGIR
2010
ACM
15 years 10 months ago
Supervised query modeling using wikipedia
We use Wikipedia articles to semantically inform the generation of query models. To this end, we apply supervised machine learning to automatically link queries to Wikipedia artic...
Edgar Meij, Maarten de Rijke
ANSS
2004
IEEE
15 years 10 months ago
A Self Manageable Infrastructure for Supporting Web-based Simulations
Imagine if you would like to deploy your new simulation online and your systems can just take care of itself. Needed web interface could be generated, database schema objects coul...
Yingping Huang, Xiaorong Xiang, Gregory R. Madey