3820 search results - page 460 / 764 » Bounded Model Debugging |
133
click to vote
ALT
2008
Springer
16 years 20 days ago
2008
Springer
In the inductive inference framework of learning in the limit, a variation of the bounded example memory (Bem) language learning model is considered. Intuitively, the new model con...
147
click to vote
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...
114
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a two-sided economic search model in which agents are searching for beneficial pairwise partnerships. In each search stage, each of the agents is randomly mat...
129
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Low analyzes the equilibrium performance of the recently developed eXplicit Control Protocol (XCP) by applying the derived window-based dynamical model. However, Low’s window...
117
click to vote
ESA
2003
Springer
15 years 9 months ago
2003
Springer
We consider a network providing Differentiated Services (DiffServ), which allow Internet Service Providers (ISP’s) to offer different levels of Quality of Service (QoS) to diffe...