Sciweavers

1776 search results - page 39 / 356
» Uncertain Linear Constraints
Sort
View
76
Voted
ICTAC
2004
Springer
15 years 6 months ago
Verifying Linear Duration Constraints of Timed Automata
Pham Hong Thai, Dang Van Hung
171
Voted
PODS
2000
ACM
221views Database» more  PODS 2000»
15 years 5 months ago
Fixed-Point Query Languages for Linear Constraint Databases
Ï ÒØÖÓ Ù Ñ ÐÝ Ó ÕÙ ÖÝ Ð Ò Ù × ÓÖ Ð Ò Ö ÓÒ¹ ×ØÖ ÒØ Ø × × ÓÚ Ö Ø Ö Ð׺ Ì Ð Ò Ù × Ö ¬Ò ÓÚ Ö ØÛÓ¹×ÓÖØ רÖÙ ØÙÖ ×...
Stephan Kreutzer
103
Voted
PODS
1998
ACM
86views Database» more  PODS 1998»
15 years 4 months ago
Efficient Searching with Linear Constraints
An extended abstract of this paper appeared in Proceedings of the 15th ACM SIGACT-SIGMODSIGART Symposium on Principles of Database Systems [1]. 2 E-mail: pankaÄcs.duke.edu; httpÂ...
Pankaj K. Agarwal, Lars Arge, Jeff Erickson, Paolo...
81
Voted
IPCO
2007
101views Optimization» more  IPCO 2007»
15 years 2 months ago
An Integer Programming Approach for Linear Programs with Probabilistic Constraints
James Luedtke, Shabbir Ahmed, George L. Nemhauser