633 search results - page 68 / 127 » A Few Constructions on Constructors |
CHI
2005
ACM
16 years 8 days ago
2005
ACM
When on the move, cognitive resources are reserved partly for passively monitoring and reacting to contexts and events, and partly for actively constructing them. The Resource Com...
132
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
101
click to vote
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
109
click to vote
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
A novel framework called 2D Fisher Discriminant Analysis
(2D-FDA) is proposed to deal with the Small Sample
Size (SSS) problem in conventional One-Dimensional Linear
Discriminan...
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
It has been shown that the delay of a target path can be composed linearly of other path delays. If the later paths are robustly testable (with known delay values), the target pat...