3006 search results - page 114 / 602 » Overview |
CHI
2008
ACM
16 years 3 months ago
2008
ACM
This paper outlines the rationale for the workshop topic and offers an overview of its objectives. Keywords Mobile phones, public displays, interaction design, evaluation. ACM Cla...
CHI
2006
ACM
16 years 3 months ago
2006
ACM
This paper outlines the rationale for the workshop topic and offers an overview of its objectives. Keywords Collective memories, episodic memory, memory technology, interaction de...
111
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
With shrinking noise margins and increasing numbers of on-chip noise sources, power grid design has become a critical performance determinant. This paper presents an overview of r...
140
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
158
click to vote
CADE
2001
Springer
16 years 3 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...