Sciweavers

925 search results - page 85 / 185
» A Linguistic Theory of Robustness
Sort
View
ISMIS
2003
Springer
15 years 3 months ago
Logic for Multi-path Message Forwarding Networks for Mobile Agents
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
Masahito Kurihara, Masanobu Numazawa
ENVSOFT
2006
76views more  ENVSOFT 2006»
14 years 10 months ago
Hedgers, speculators and forward markets: Evidence from currency markets
: Since Keynes (1930) and Hicks (1939) propounded their theory of normal backwardation, the issue of whether hedgers must pay speculators an insurance premium has remained controve...
K. F. Radalj
DC
2002
14 years 9 months ago
Restoration by path concatenation: fast recovery of MPLS paths
A new general theory about restoration of network paths is first introduced. The theory pertains to restoration of shortest paths in a network following failure, e.g., we prove th...
Yehuda Afek, Anat Bremler-Barr, Haim Kaplan, Edith...
FORMATS
2010
Springer
14 years 7 months ago
Natural Domain SMT: A Preliminary Assessment
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
Scott Cotton
ICIP
2007
IEEE
15 years 11 months ago
Applying Color Names to Image Description
Photometric invariance is a desired property for color image descriptors. It ensures that the description has a certain robustness with respect to scene incidental variations such...
Joost van de Weijer, Cordelia Schmid