3483 search results - page 684 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
142
click to vote
SIAMJO
2011
14 years 3 months ago
2011
Suppose we are given a matrix that is formed by adding an unknown sparse matrix to an unknown low-rank matrix. Our goal is to decompose the given matrix into its sparse and low-ran...
112
click to vote
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
138
Voted
SPIESR
2003
15 years 1 months ago
2003
One of the major challenges facing current media management systems and related applications is the so-called ‘‘semantic gap’’ between the rich meaning that a user desires...
BMCBI
2007
15 years 16 days ago
2007
Background: The rapid burgeoning of available protein data makes the use of clustering within families of proteins increasingly important. The challenge is to identify subfamilies...
BMCBI
2007
15 years 16 days ago
2007
Background: In proteomics experiments, database-search programs are the method of choice for protein identification from tandem mass spectra. As amino acid sequence databases grow...