共 50 条
- [2] CAPSUL: A constraint-based specification of repeating patterns in time-oriented data [J]. Annals of Mathematics and Artificial Intelligence, 2000, 30 : 3 - 22
- [5] A constraint-based approach for specification and verification of real-time systems [J]. 18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 230 - 239
- [6] Time-Oriented Management of Telemetry Data [J]. 2015 FIRST ASIAN CONFERENCE ON DEFENCE TECHNOLOGY (ACDT), 2015, : 166 - 170
- [7] Pattern discovery in time-oriented data [J]. INTERNATIONAL CONFERENCE ON ADVANCES IN PATTERN RECOGNITION, 1999, : 415 - 424
- [8] Towards constraint-based preservation in systems specification [J]. COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007, 2007, 4739 : 894 - 902
- [10] Visualizing time-oriented data -: A systematic view [J]. COMPUTERS & GRAPHICS-UK, 2007, 31 (03): : 401 - 409