611 search results - page 51 / 123 » Index Sets of Computable Structures with Decidable Theories |
ESCIENCE
2007
IEEE
14 years 2 months ago
2007
IEEE
In federated Data Grids, individual institutions share their data sets within a community to enable collaborative data analysis. Data access needs to be provided in a scalable fas...
ICTAI
2006
IEEE
14 years 2 months ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
We are developing a computer system which provides information about babies in neonatal intensive care to family members and friends. A key challenge is deciding what information ...
BMCBI
2008
13 years 8 months ago
2008
Background: Analysis of sequence composition is a routine task in genome research. Organisms are characterized by their base composition, dinucleotide relative abundance, codon us...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...