3799 search results - page 731 / 760 » An Engineering Approach to Formal Methods |
DSRT
2004
IEEE
13 years 11 months ago
2004
IEEE
As Distributed Interactive Applications (DIAs) become increasingly more prominent in the video game industry they must scale to accommodate progressively more users and maintain a...
JCDL
2010
ACM
13 years 9 months ago
2010
ACM
In search engines, ranking algorithms measure the importance and relevance of documents mainly based on the contents and relationships between documents. User attributes are usual...
ISMB
2000
13 years 9 months ago
2000
Mycobacterium tuberculosis (M. tb.) strains differ in the number and locations of a transposon-like insertion sequence known as IS6110. Accurate detection of this sequence can be ...
BMCBI
2005
13 years 7 months ago
2005
Background: In the context of the BioCreative competition, where training data were very sparse, we investigated two complementary tasks: 1) given a Swiss-Prot triplet, containing...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Complex networks have been characterised by their specific connectivity patterns (network motifs), but their building blocks can also be identified and described by node-motifs—...