1756 search results - page 66 / 352 » Current Directions in Hyper-Programming |
138
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
126
click to vote
IDTRUST
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we describe the challenges in using Personal Identity Verification (PIV) cards and PIV-like cards as federated identities to authenticate to US Federal government f...
127
Voted
PAM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Active probing has increasingly been used to collect information about the topological and functional characteristics of the Internet. Given the need for active probing a...
127
click to vote
EMMCVPR
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the concept of complementarity between data and smoothness term in modern variational optic flow methods. First we design a sophisticated data term that incorporates ...
135
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
Estimating white matter fiber pathways from a diffusion tensor MRI dataset has many important applications in medical research. However, the standard approach of performing track...