Sciweavers

6607 search results - page 620 / 1322
» Making TeX Work
Sort
View
SIGDOC
2003
ACM
16 years 13 days ago
An interaction initiative model for documentation
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction ...
David G. Novick, Karen Ward
STOC
2003
ACM
109views Algorithms» more  STOC 2003»
16 years 13 days ago
A new multilayered PCP and the hardness of hypergraph vertex cover
Given a k-uniform hypergraph, the Ek-Vertex-Cover problem is to find the smallest subset of vertices that intersects every hyperedge. We present a new multilayered PCP constructi...
Irit Dinur, Venkatesan Guruswami, Subhash Khot, Od...
UIST
2003
ACM
16 years 13 days ago
Perceptually-supported image editing of text and graphics
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
Eric Saund, David J. Fleet, Daniel Larner, James M...
WWW
2003
ACM
16 years 13 days ago
Providing Time of Service Guarantees in Video-On-Demand Servers
Recent advances in storage and communication technologies have spurred a strong interest in Video-on-Demand (VOD) services. Providing the customers of VOD servers with time of serv...
Nabil J. Sarhan, Chita R. Das
AIME
2003
Springer
16 years 13 days ago
Constraint Reasoning in Deep Biomedical Models
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
Jorge Cruz, Pedro Barahona