1382 search results - page 39 / 277 » Formal Analysis of Online Algorithms |
148
click to vote
IJCAI
1989
15 years 7 months ago
1989
Several theories of grammar currently converge toward inserting subcategorization information within lexical entries. Such a tendency would benefit from a parsing algorithm able t...
153
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
178
click to vote
DEDS
2010
15 years 3 months ago
2010
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...
163
click to vote
SODA
2001
ACM
15 years 7 months ago
2001
ACM
We consider a network providing Differentiated Services (DiffServ) which allow network service providers to offer different levels of Quality of Service (QoS) to different traffic...
190
click to vote
WSDM
2012
ACM
14 years 1 months ago
2012
ACM
The phenomenal growth in the volume of easily accessible information via various web-based services has made it essential for service providers to provide users with personalized ...