9382 search results - page 133 / 1877 » A Functional Model for Data Analysis |
125
Voted
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
An accurate scoring function for database search is crucial for peptide identification using tandem mass spectrometry. Although many mathematical models have been proposed to scor...
125
click to vote
CGA
2005
15 years 3 months ago
2005
We propose new analytical formulations of bounded blending operations for the function-based constructive shape modeling. The blending set operations are defined using R-functions...
141
Voted
IICAI
2007
15 years 5 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
132
click to vote
OSDI
1994
ACM
15 years 5 months ago
1994
ACM
Operating system research has endeavored to develop micro-kernels that provide modularity, reliability and security improvements over conventional monolithic kernels. However, the...
114
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...