3455 search results - page 392 / 691 » Generalized Game Trees |
194
click to vote
EDCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
174
click to vote
NOSSDAV
2005
Springer
16 years 6 days ago
2005
Springer
Success of peer-to-peer applications in many cases is attributed to user altruism, where a user contributes some of its own resources to facilitate performance of other users. Thi...
213
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
Evolutionary relationships among species can be represented by a phylogenetic tree and inferred by optimising some measure of fitness, such as the statistical likelihood of the t...
193
click to vote
MM
2003
ACM
15 years 12 months ago
2003
ACM
JPEG2000 is an emerging standard for still image compression and is becoming the solution of choice for many digital imaging fields and applications. An important aspect of JPEG2...
190
Voted
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
In XML data exchange, a schema mapping specifies rules for restructuring a source document under the target schema, and queries over the target document must be answered in a way...