1982 search results - page 121 / 397 » Parametricity and dependent types |
192
click to vote
CIBCB
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...
158
click to vote
COST
1994
Springer
15 years 10 months ago
1994
Springer
Existing and upcoming distributed multimedia applications require highly diverse services to satisfy their communication needs. Service integrated communication systems should be c...
209
click to vote
DAGSTUHL
1997
15 years 8 months ago
1997
This survey presents several techniques for solving variants of the following scattered data interpolation problem: given a nite set of N points in R3, nd a surface that interpola...
167
click to vote
SIGECOM
2004
ACM
16 years 2 days ago
2004
ACM
We provide efficient algorithms for finding approximate BayesNash equilibria (BNE) in graphical, specifically tree, games of incomplete information. In such games an agent’s p...
151
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
This paper describes our recent work on extending the punctuation module of automatic subtitles for Portuguese Broadcast News. The main improvement was achieved by the use of pros...