1513 search results - page 236 / 303 » A Better Mythology for System Design |
120
click to vote
MKM
2009
Springer
15 years 8 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
115
click to vote
MM
2009
ACM
15 years 8 months ago
2009
ACM
Motion estimation is a key component of modern video encoding and is very compute-intensive. We present a novel Sensor-assisted Video Encoding (SaVE) method to reduce the computat...
SIGCOMM
2009
ACM
15 years 8 months ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...
WIKIS
2009
ACM
15 years 8 months ago
2009
ACM
Web and print exist as two solitudes: printed web pages often disappoint and converting print documents into good web pages is hard. A wiki makes it easy for authors to create ric...
100
click to vote
ACSC
2008
IEEE
15 years 7 months ago
2008
IEEE
Users’ past search behaviour provides a rich context that an information retrieval system can use to tailor its search results to suit an individual’s or a community’s infor...