Sciweavers

2214 search results - page 140 / 443
» Initial Design of the
Sort
View
SAC
2004
ACM
14 years 3 months ago
The eduSource Communication Language: implementing open network for learning repositories and services
Interoperability is one of the main issues in creating a networked system of repositories The approaches range from simply forcing one metadata standard on all participating repos...
Marek Hatala, Griff Richards, Timmy Eap, Jordan Wi...
CHI
2007
ACM
14 years 10 months ago
Vio: a mixed-initiative approach to learning and automating procedural update tasks
Today many workers spend too much of their time translating their co-workers' requests into structures that information systems can understand. This paper presents the novel ...
John Zimmerman, Anthony Tomasic, Isaac Simmons, Ia...
DAC
2001
ACM
14 years 11 months ago
Semi-Formal Test Generation with Genevieve
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
Julia Dushina, Mike Benjamin, Daniel Geist
DAC
2003
ACM
14 years 11 months ago
A transformation based algorithm for reversible logic synthesis
A digital combinational logic circuit is reversible if it maps each input pattern to a unique output pattern. Such circuits are of interest in quantum computing, optical computing...
D. Michael Miller, Dmitri Maslov, Gerhard W. Dueck
CHI
2007
ACM
14 years 10 months ago
Porta-person: telepresence for the connected conference room
This paper describes a telepresence device called PortaPerson. This is the first project in a larger initiative known as the Connected Conference Room, which aims to improve the u...
Nicole Yankelovich, Nigel Simpson, Jonathan Kaplan...