186 search results - page 26 / 38 » Completing Inverse Entailment |
VRST
2006
ACM
14 years 1 months ago
2006
ACM
Complex 3D interaction tasks require the manipulation of a large number of input parameters. Spatial input devices can be constructed such that their structure reflects the task ...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Context-awareness is a highly desired feature across several application domains. Semantic Web Services (SWS) technologies address context-adaptation by enabling the automatic disc...
BMCBI
2005
2005
MicroGen: a MIAME compliant web system for microarray experiment information and workflow management
13 years 7 months ago
Background: Improvements of bio-nano-technologies and biomolecular techniques have led to increasing production of high-throughput experimental data. Spotted cDNA microarray is on...
APAL
2010
13 years 7 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
EDBT
2008
ACM
14 years 7 months ago
2008
ACM
By comparing genomes among both closely and distally related species, comparative genomics analysis characterizes structures and functions of different genomes in both conserved a...