1155 search results - page 56 / 231 » Elaborating Domain Descriptions |
138
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- Identification of output error models from frequency domain data generally results in a non-convex optimization problem. A well-known method to approach the output error...
148
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
133
click to vote
ICPR
2008
IEEE
2008
IEEE
Gene function prediction using protein domain probability and hierarchical Gene Ontology information
15 years 10 months ago
The Gene Ontology (GO) is a controlled vocabulary of terms to describe protein functions. It also includes a hierarchical description of the relationships among the terms in the f...
115
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— By the generalized multi-carrier (GMC) principle a unified framework to describe various multi-carrier as well as single carrier approaches is established. In this paper1 the ...
173
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper introduces a domain ontology to describe learning material that compose a course, capable of providing adaptive e-learning environments and reusable educational resourc...