Sciweavers

2715 search results - page 14 / 543
» Network bucket testing
Sort
View
ICNP
1995
IEEE
13 years 11 months ago
Verification and diagnosis of testing equivalence and reduction relation
Zhongping Tao, Gregor von Bochmann, Rachida Dssoul...
FLAIRS
1998
13 years 9 months ago
Analytical Design of Reinforcement Learning Tasks
Reinforcement learning (RL) problems constitute an important class of learning and control problems faced by artificial intelligence systems. In these problems, one is faced with ...
Robert E. Smith
TACAS
1997
Springer
132views Algorithms» more  TACAS 1997»
13 years 11 months ago
Test Generation for Intelligent Networks Using Model Checking
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
André Engels, Loe M. G. Feijs, Sjouke Mauw
HT
2005
ACM
14 years 1 months ago
Distributed, real-time computation of community preferences
We describe the integration of smart digital objects with Hebbian learning to create a distributed, real-time, scalable approach to adapting to a community's preferences. We ...
Thomas Lutkenhouse, Michael L. Nelson, Johan Bolle...
NOSSDAV
2005
Springer
14 years 1 months ago
Hierarchical disk sharing for multimedia systems
Systems that use or serve multimedia data require timely access to data on hard drives. To ensure adequate performance users must either prevent overload of disk resources, or use...
Joel C. Wu, Scott A. Banachowski, Scott A. Brandt