4745 search results - page 848 / 949 » Discretization: An Enabling Technique |
168
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Metal-containing proteins comprise a diverse and sizable category within the proteomes of organisms, ranging from proteins that use metals to catalyze reactions to pro...
186
Voted
BMCBI
2011
15 years 1 months ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
222
Voted
TSE
2011
15 years 1 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
242
click to vote
JCST
2010
15 years 26 days ago
2010
Abstract The significant overhead related to frequent location updates from moving objects often results in poor performance. As most of the location updates do not affect the quer...
185
click to vote
JSS
2010
15 years 26 days ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...