514 search results - page 55 / 103 » On the Structure of Valiant's Complexity Classes |
SIGCSE
1998
ACM
14 years 28 days ago
1998
ACM
Programs that use animations or visualizations attract student interest and offer feedback that can enhance different learning styles as students work to master programming and pr...
ICDE
2001
IEEE
14 years 10 months ago
2001
IEEE
We propose an extension to current view-based mediator systems called model-based mediation, in which views are defined and executed at the level of conceptual models (CMs) rather...
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
We study the propositional satisfiability problem (SAT) on classes of CNF formulas (formulas in Conjunctive Normal Form) that obey certain structural restrictions in terms of thei...
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
Extraction of structures of interest in medical images is often an arduous task because of noisy or incomplete data. However, handsegmented data are often available and most of the...
BMCBI
2011
13 years 3 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...