12981 search results - page 2293 / 2597 » Model Checking (Abstract) |
132
click to vote
IWQOS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract— Server providers that support e-commerce applications as a service to multiple e–commerce websites traditionally use a tiered server architecture. This architecture i...
161
Voted
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
174
click to vote
KI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
152
Voted
MABS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A simulation-based tool is described which will be used to investigate how the actors in a transport chain are expected to act when different types of governmental contro...
160
Voted
MICAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...