5722 search results - page 840 / 1145 » Security Function Interactions |
142
click to vote
FPL
2008
Springer
15 years 7 months ago
2008
Springer
: Modeling the interactions of biological molecules, or docking is critical to both understanding basic life processes and to designing new drugs. Here we describe the FPGA-based a...
164
click to vote
BDA
2007
15 years 7 months ago
2007
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
208
click to vote
CVHI
2007
15 years 7 months ago
2007
: We investigated the potentials and acceptance of tangible tabletop (TT) interfaces in functional and neural rehabilitation. Our goal was to analyse whether TT systems are adequat...
135
Voted
LREC
2010
15 years 7 months ago
2010
This paper presents the multimodal corpora that are being collected and annotated in the Nordic NOMCO project. The corpora will be used to study communicative phenomena such as fe...
168
click to vote
FMOODS
2007
15 years 7 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...