Sciweavers

1750 search results - page 261 / 350
» E-Commerce Development Procedure
Sort
View
124
Voted
BIOCOMP
2009
15 years 4 months ago
Analysis of Long Branch Extraction
Long branch attraction is a problem that afflicts phylogenetic methods and a procedure to detect a data set suffering from this problem is the long branch extraction method[1]. Thi...
Timothy O'Connor, Kenneth Sundberg, Hyrum Carroll,...
120
Voted
ATAL
2010
Springer
15 years 4 months ago
Cooperative problem solving against adversary: quantified distributed constraint satisfaction problem
In this paper, we extend the traditional formalization of a Distributed Constraint Satisfaction Problems (DisCSP) to a Quantified DisCSP. A Quantified DisCSP includes several unive...
Satomi Baba, Atsushi Iwasaki, Makoto Yokoo, Marius...
119
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
124
Voted
CLEF
2010
Springer
15 years 4 months ago
It Was Easy, when Apples and Blackberries Were only Fruits
Ambiguities in company names are omnipresent. This is not accidental, companies deliberately chose ambiguous brand names, as part of their marketing and branding strategy. This pro...
Surender Reddy Yerva, Zoltán Miklós,...
124
Voted
ECAI
2010
Springer
15 years 4 months ago
EP for Efficient Stochastic Control with Obstacles
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...
Thomas Mensink, Jakob J. Verbeek, Bert Kappen