8933 search results - page 126 / 1787 » Usability over time |
149
click to vote
CSR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
113
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— More and more traffic management techniques, including accounting and load adaptive routing, try to take advantage of the fact that traffic demands are consistent with Zipf...
133
click to vote
ITNG
2008
IEEE
15 years 12 months ago
2008
IEEE
This paper presents a multimodal social networking system aimed at sharing geographic information among proximate users. The system provides users with a traditional web-based int...
150
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
135
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
Multimedia and Information technology are reaching limits in terms of what can be done in multimedia applications with only sight and sound. The next critical step is to bring the...