Sciweavers

1776 search results - page 39 / 356
» Uncertain Linear Constraints
Sort
View
ICTAC
2004
Springer
14 years 3 months ago
Verifying Linear Duration Constraints of Timed Automata
Pham Hong Thai, Dang Van Hung
PODS
2000
ACM
221views Database» more  PODS 2000»
14 years 2 months ago
Fixed-Point Query Languages for Linear Constraint Databases
Ï ÒØÖÓ Ù Ñ ÐÝ Ó ÕÙ ÖÝ Ð Ò Ù × ÓÖ Ð Ò Ö ÓÒ¹ ×ØÖ ÒØ Ø × × ÓÚ Ö Ø Ö Ð׺ Ì Ð Ò Ù × Ö ¬Ò ÓÚ Ö ØÛÓ¹×ÓÖØ ×ØÖÙ ØÙÖ ×...
Stephan Kreutzer
PODS
1998
ACM
86views Database» more  PODS 1998»
14 years 2 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...