5331 search results - page 183 / 1067 » Algebraic Methods for Optimization Problems |
118
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
106
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
208
click to vote
SYRCODIS
2008
15 years 3 months ago
2008
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
WSC
1997
15 years 3 months ago
1997
In recent articles we presented a general methodology for finite optimization. The new method, the Nested Partitions (NP) method, combines partitioning, random sampling, a select...
151
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Certain protein families are highly conserved across distantly related organisms and belong to large and functionally diverse superfamilies. The patterns of conservati...