Sciweavers

1750 search results - page 63 / 350
» E-Commerce Development Procedure
Sort
View
AINA
2005
IEEE
15 years 9 months ago
Improving the Ramping up Behavior of TCP Slow Start
This paper proposes an improvement to the TCP ramp up behavior in slow-start. Current implementations of the TCP start-up procedure may result in an exponential growth of the cong...
Rung-Shiang Cheng, Hui-Tang Lin, Wen-Shyang Hwang,...
ATAL
2005
Springer
15 years 9 months ago
A negotiation model for autonomous agents: key features and comparison with existing models
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
Fernando Lopes, Augusto Q. Novais, Nuno J. Mamede,...
127
Voted
LPAR
2005
Springer
15 years 9 months ago
Incremental Integrity Checking: Limitations and Possibilities
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
Henning Christiansen, Davide Martinenghi
158
Voted
SCIA
2005
Springer
211views Image Analysis» more  SCIA 2005»
15 years 9 months ago
Perception-Action Based Object Detection from Local Descriptor Combination and Reinforcement Learning
This work proposes to learn visual encodings of attention patterns that enables sequential attention for object detection in real world environments. The system embeds a saccadic d...
Lucas Paletta, Gerald Fritz, Christin Seifert
TABLEAUX
2009
Springer
15 years 8 months ago
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
Luis Pinto, Tarmo Uustalu