8190 search results - page 155 / 1638 » From Timed to Hybrid Systems |
179
click to vote
ENTCS
2007
15 years 5 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
190
click to vote
UAI
2000
15 years 7 months ago
2000
The growth of Internet commerce has stimulated the use of collaborative filtering (CF) algorithms as recommender systems. Such systems leverage knowledge about the known preferenc...
144
click to vote
WSC
2008
15 years 8 months ago
2008
Traditionally call centres were based on circuit-switched systems. But with the advancement of communication technologies, call centres have shifted to packet-switched systems. Th...
138
click to vote
CIKM
2007
Springer
15 years 12 months ago
2007
Springer
The problem of results merging in distributed information retrieval environments has been approached by two different directions in research. Estimation approaches attempt to cal...
163
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
Current methods for selectivity estimation fall into two broad categories, synopsis-based and sampling-based. Synopsis-based methods, such as histograms, incur minimal overhead at ...