12981 search results - page 2293 / 2597 » Model Checking (Abstract) |
176
click to vote
IWQOS
2004
Springer
16 years 12 hour 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...
205
click to vote
JELIA
2004
Springer
16 years 11 hour 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...
214
click to vote
KI
2004
Springer
16 years 10 hour 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...
196
click to vote
MABS
2004
Springer
16 years 9 hour 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...
199
click to vote
MICAI
2004
Springer
16 years 8 hour 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...