Sciweavers

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