29079 search results - page 107 / 5816 » Design Of Future Systems |
170
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
160
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
We demonstrate a method for collaborative ranking of future events. Previous work on recommender systems typically relies on feedback on a particular item, such as a movie, and ge...
201
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
151
click to vote
INFOCOM
2009
IEEE
16 years 4 days ago
2009
IEEE
—In recent years there have been several large-scale deployments of P2P live video systems. Existing and future P2P live video systems will offer a large number of channels, with...
176
click to vote
CSREAPSC
2006
15 years 7 months ago
2006
Abstract - Recent advances in multimedia network systems have led to the development of a new generation of applications that associate the use of various multimedia objects. The c...