374 search results - page 67 / 75 » A Model of Fair Process and Its Limits |
111
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Genomic islands can be observed in many microbial genomes. These stretches of DNA have a conspicuous composition with regard to sequence or encoded functions. Genomic ...
104
click to vote
CSL
2010
Springer
15 years 26 days ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
105
click to vote
WWW
2005
ACM
16 years 13 days ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
186
click to vote
ICFP
2009
ACM
16 years 12 days ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
WIDM
2004
ACM
15 years 5 months ago
2004
ACM
The use of relational database management systems (RDBMSs) to store and query XML data has attracted considerable interest with a view to leveraging their powerful and reliable da...