Sciweavers

3719 search results - page 110 / 744
» order 2010
Sort
View
SIGDIAL
2010
14 years 10 months ago
Negotiating causal implicatures
In this paper we motivate and describe a dialogue manager which is able to infer and negotiate causal implicatures. A causal implicature is a type of Gricean relation implicature,...
Luciana Benotti, Patrick Blackburn
110
Voted
FUIN
2010
158views more  FUIN 2010»
14 years 10 months ago
Cellular Automata, Decidability and Phasespace
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
Klaus Sutner
96
Voted
IJBC
2010
92views more  IJBC 2010»
14 years 10 months ago
Discretizing bifurcation Diagrams Near codimension Two Singularities
We consider parameter-dependent, continuous-time dynamical systems under discretizations. It is shown that fold-Hopf singularities are O(hp)-shifted and turned into fold-Neimark-S...
Páez Chávez Joseph
92
Voted
IJIIDS
2010
91views more  IJIIDS 2010»
14 years 10 months ago
On the security of reliable server pooling systems
: In order to cope with the requirements of availability-critical internet services, reliable server pooling (RSerPool) has been developed as the new IETF standard for a lightweigh...
Thomas Dreibholz, Xing Zhou, Martin Becke, Jobin P...
118
Voted
IMCSIT
2010
14 years 10 months ago
Selecting the best strategy in a software certification process
In this paper, we propose the use of the pairwise comparisons (PC) method for selection of strategies for software certification. This method can also be used to rank alternative s...
Waldemar W. Koczkodaj, Vova Babiy, Agnieszka D. Bo...