19866 search results - page 3776 / 3974 » Computing all factorizations in *** |
209
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
161
click to vote
TAMC
2007
Springer
16 years 21 days ago
2007
Springer
We study non-overlapping axis-parallel packings of 3D boxes with profits into a dedicated bigger box where rotation is either forbidden or permitted; we wish to maximize the total...
161
click to vote
TCC
2007
Springer
16 years 21 days ago
2007
Springer
An obfuscator is a compiler that transforms any program (which we will view in this work as a boolean circuit) into an obfuscated program (also a circuit) that has the same input-...
183
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
Real-world datasets exhibit a complex dependency structure among the data attributes. Learning this structure is a key task in automatic statistics configuration for query optimi...
153
click to vote
WDAG
2007
Springer
16 years 21 days ago
2007
Springer
We introduce the problem of load-distance balancing in assigning users of a delay-sensitive networked application to servers. We model the service delay experienced by a user as a ...