7694 search results - page 771 / 1539 » An Implementation of an Applicative File System |
185
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
187
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
The Graspables project is an exploration of how measuring the way people hold and manipulate objects can be used as a user interface. As computational ability continues to be impl...
184
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
203
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We designed and implemented a vision-based projected tabletop interface for finger interaction. The system offers a simple and quick setup and economic design. The proj...
156
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— We describe the design of a contact imager for applications in lab-on-a-chip systems, such as sample preparation and manipulation and monitoring of cells. This is a challenging...