2632 search results - page 232 / 527 » Alternating Timed Automata |
131
click to vote
DSS
2008
15 years 4 months ago
2008
In this paper we consider a multi-agent system (MAS) for the logistics control of Automatic Guided Vehicles (AGVs) that are used in the dough making process at an industrial baker...
HCI
2009
15 years 2 months ago
2009
Buying a home is a big investment and is one of the most important decisions made in one's life. Home owners after purchasing the apartments are interested in having their own...
139
click to vote
TSMC
2010
14 years 11 months ago
2010
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...
134
click to vote
CCN
2006
15 years 5 months ago
2006
The Stream Control Transmission Protocol (SCTP) was developed to support the transfer of telephony signaling over IP networks. One of the ambitions when designing SCTP was to offe...
139
click to vote
ISAAC
2004
Springer
15 years 9 months ago
2004
Springer
The range minimum query problem, RMQ for short, is to preprocess a sequence of real numbers A[1 . . . n] for subsequent queries of the form: “Given indices i, j, what is the ind...