Sciweavers

1033 search results - page 195 / 207
» Using Temporal Language Models for Document Dating
Sort
View
91
Voted
ICDE
2011
IEEE
232views Database» more  ICDE 2011»
14 years 1 months ago
XClean: Providing valid spelling suggestions for XML keyword queries
—An important facility to aid keyword search on XML data is suggesting alternative queries when user queries contain typographical errors. Query suggestion thus can improve users...
Yifei Lu, Wei Wang, Jianxin Li, Chengfei Liu
CASSIS
2004
Springer
15 years 3 months ago
ESC/Java2: Uniting ESC/Java and JML
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
David R. Cok, Joseph Kiniry
AWIC
2003
Springer
15 years 2 months ago
ROSA - Multi-agent System for Web Services Personalization
Automatic and non-invasive web personalization seems to be a challenge for nowadays web sites. Many web mining techniques are used to achieve this goal. Since current web sites evo...
Przemyslaw Kazienko, Maciej Kiewra
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 2 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
104
Voted
CIKM
2008
Springer
14 years 11 months ago
A random walk on the red carpet: rating movies with user reviews and pagerank
Although PageRank has been designed to estimate the popularity of Web pages, it is a general algorithm that can be applied to the analysis of other graphs other than one of hypert...
Derry Tanti Wijaya, Stéphane Bressan