6431 search results - page 916 / 1287 » Model Building by Resolution |
122
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML's linking capabilities in several ways. In particular, l...
164
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
Online communities need regular maintenance activities such as moderation and data input, tasks that typically fall to community owners. Communities that allow all members to part...
123
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
As driver distraction from in-vehicle devices increasingly becomes a concern on our roadways, researchers have searched for better scientific understanding of distraction along wi...
157
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
133
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...