Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Philipp Vorst, Andreas Zell |
Particle filter-based trajectory estimation with passive UHF RFID fingerprints in unknown environments. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | A. Agung Julius, George J. Pappas |
Trajectory Based Verification Using Local Finite-Time Invariance. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Shu-Mei Guo, Chih-Yuan Hsu, Po-Nung Wu, Jason Sheng-Hong Tsai |
A Trajectory-Based Point Tracker Using Chaos Evolutionary Programming. |
IEA/AIE |
2009 |
DBLP DOI BibTeX RDF |
Point tracking, Chaos, Evolutionary programming, Polynomial interpolation, Bilinear interpolation |
17 | Nikolay Jetchev, Marc Toussaint |
Trajectory prediction: learning to map situations to robot trajectories. |
ICML |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Nick G. Duffield, Matthias Grossglauser |
Trajectory sampling with unreliable reporting. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
Bloom filters, packet loss, packet sampling, network traffic measurement |
17 | Nadeem Anjum, Andrea Cavallaro |
Multifeature Object Trajectory Clustering for Video Analysis. |
IEEE Trans. Circuits Syst. Video Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Cláudio Rosito Jung, Luciano Hennemann, Soraia Raupp Musse |
Event Detection Using Trajectory Clustering and 4-D Histograms. |
IEEE Trans. Circuits Syst. Video Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Brendan Tran Morris, Mohan M. Trivedi |
A Survey of Vision-Based Trajectory Learning and Analysis for Surveillance. |
IEEE Trans. Circuits Syst. Video Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Claudio Piciarelli, Christian Micheloni, Gian Luca Foresti |
Trajectory-Based Anomalous Event Detection. |
IEEE Trans. Circuits Syst. Video Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ryo Kikuuwe, Takahiro Yamamoto, Hideo Fujimoto |
A Guideline for Low-Force Robotic Guidance for Enhancing Human Performance of Positioning and Trajectory Tracking: It Should Be Stiff and Appropriately Slow. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ariel Amato, Murad Al Haj, Mikhail G. Mozerov, Jordi Gonzàlez 0001 |
Trajectory Fusion for Multiple Camera Tracking. |
Computer Recognition Systems 2 |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jakkrit Onshaunjit, Jakkree Srinonchat |
LSP Trajectory Analysis for Speech Recognition. |
CGIV |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Filoktimon Repoulias, Evangelos Papadopoulos |
Robotic airship trajectory tracking control using a backstepping methodology. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ambrose Chan, Elizabeth A. Croft, James J. Little |
Trajectory specification via sparse waypoints for eye-in-hand robots requiring continuous target visibility. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Xavier Broquère, Daniel Sidobre, Ignacio Herrera-Aguilar |
Soft motion trajectory planner for service manipulator robot. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Gen Endo, Shigeo Hirose |
Study on Roller-Walker - Adaptation of characteristics of the propulsion by a leg trajectory -. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Peng Liu 0001, Lei Ma, Frank K. Soong |
Radical based fine trajectory HMMs of online handwritten characters. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Nikos Pelekis, Elias Frentzos, Nikos Giatrakos, Yannis Theodoridis |
HERMES: aggregative LBS via a trajectory DB engine. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
location-based services, trajectories, moving object databases |
17 | Nikhil Padhye |
Interplanetary trajectory optimization with swing-bys using evolutionary multi-objective optimization. |
GECCO (Companion) |
2008 |
DBLP DOI BibTeX RDF |
optimization |
17 | Yan Huang 0002, Cai Chen, Pinliang Dong |
Modeling Herds and Their Evolvements from Trajectory Data. |
GIScience |
2008 |
DBLP DOI BibTeX RDF |
Spatial Evolvements, Herd Evolvements, Spatio-temporal Data Mining, Spatial Patterns |
17 | Andrea Prati 0001, Simone Calderara, Rita Cucchiara |
Using circular statistics for trajectory shape analysis. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Xiaogang Wang 0001, Keng Teck Ma, Gee Wah Ng, W. Eric L. Grimson |
Trajectory analysis and semantic region modeling using a nonparametric Bayesian model. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yanming Wu, Jun Wang, Xiaohong Yin, Han Zhao |
Study for AGV Trajectory Control by Using Fuzzy Reasoning. |
FSKD (3) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Van-Huan Dau, Chee-Meng Chew, Aun Neow Poo |
Optimized Joint-Torques Trajectory Planning for Bipedal Walking Robots. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Qiang Zhan, Yao Cai, Zengbo Liu |
Near-Optimal Trajectory Planning of a Spherical Mobile Robot for Environment Exploration. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Dimitrios A. Karras |
An Improved Modular Neural Network Model for Adaptive Trajectory Tracking Control of Robot Manipulators. |
ICONIP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Bastian Leibe, Konrad Schindler, Luc Van Gool |
Coupled Detection and Trajectory Estimation for Multi-Object Tracking. |
ICCV |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Nadeem Anjum, Andrea Cavallaro |
Unsupervised Fuzzy Clustering for Trajectory Analysis. |
ICIP (3) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Donghun Lee, Jihun Park |
Estimation of Camera Parameters from a Single Moving Camera using Quaternion-based Interpolation of 3D Trajectory. |
CGIV |
2007 |
DBLP DOI BibTeX RDF |
Quaternion Interpolation, Camera Parameter Estimation |
17 | Osman Abul, Maurizio Atzori, Francesco Bonchi, Fosca Giannotti |
Hiding Sensitive Trajectory Patterns. |
ICDM Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yi Guo 0004, Yi Long, Weihua Sheng |
Global Trajectory Generation for Nonholonomic Robots in Dynamic Environments. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kimberly J. Wisneski, Michelle J. Johnson |
Trajectory Planning for Functional Wrist Movements in an ADL-Oriented, Robot-Assisted Therapy Environment. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jingang Yi, Dezhen Song, Junjie Zhang, Zane Goodwin |
Adaptive Trajectory Tracking Control of Skid-Steered Mobile Robots. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Giovanni Indiveri, Jan Paulus, Paul-Gerhard Plöger |
Task Based Kinematical Robot Control in the Presence of Actuator Velocity Saturation and Its Application to Trajectory Tracking for an Omni-wheeled Mobile Robot. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Montrallo Flickinger, Mark A. Minor |
Remote Low Frequency State Feedback Kinematic Motion Control for Mobile Robot Trajectory Tracking. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Mathieu Hillion, Florent Lamiraux |
Taking into account velocity and acceleration bounds in nonholonomic trajectory deformation. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | F. Braz, Salvatore Orlando 0001, Renzo Orsini, Alessandra Raffaetà, Alessandro Roncato, Claudio Silvestri |
Approximate Aggregations in Trajectory Data Warehouses. |
ICDE Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Per Henrik Borgstrom, Nils Peter Borgstrom, Michael J. Stealey, Brett L. Jordan, Gaurav S. Sukhatme, Maxim A. Batalin, William J. Kaiser |
Discrete trajectory control algorithms for NIMS3D, an autonomous underconstrained three-dimensional cabled robot. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Matthew McNaughton |
CASTRO: robust nonlinear trajectory optimization using multiple models. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | José Antonio Ruz Hernández, José-Luis Rullán-Lara, Ramón García-Hernández, Eduardo Reyes-Pacheco, Edgar N. Sánchez |
Trajectory Tracking Using Fuzzy-Lyapunov Approach: Application to a Servo Trainer. |
IFSA (2) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Chih-Lyang Hwang, Chin-Yan Shih, Ching-Chang Wong |
Distributed Active-Vision Network-Space Approach for Trajectory Tracking and Obstacle Avoidance of a Car-Like Mobile Robot. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Massimiliano Vasile |
A behavioral-based meta-heuristic for robust global trajectory optimization. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Nadeem Anjum, Andrea Cavallaro |
Single camera calibration for trajectory-based behavior analysis. |
AVSS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hejin Yuan, Yanning Zhang, Tao Zhou 0009, Fang'an Deng, Xiuxiu Li, Huiling Lu |
A Multi-stage Competitive Neural Networks Approach for Motion Trajectory Pattern Learning. |
ISNN (1) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yanhai Shang, Zhe Liu |
A Vector Parameter Estimation Algorithm for Target Terminal Trajectory Through Numerical Optimization. |
ICIC (1) |
2007 |
DBLP DOI BibTeX RDF |
simulation, optimization, modeling, parameter estimation, Monte Carlo, numerical algorithm |
17 | Steven Strachan, John Williamson 0001, Roderick Murray-Smith |
Show me the way to Monte Carlo: density-based trajectory navigation. |
CHI |
2007 |
DBLP DOI BibTeX RDF |
probabilistic display, navigation, tracking, uncertainty, control, feedback, GPS, audio, Monte Carlo, eyes-free |
17 | Zuzana Oplatková, Ivan Zelinka |
Symbolic regression and evolutionary computation in setting an optimal trajectory for a robot. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Donglin Li, Otmane Aït Mohamed, Sa'ed Abed |
Towards First-Order Symbolic Trajectory Evaluation. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yaser Sheikh, Xin Li 0022, Mubarak Shah |
Trajectory Association across Non-overlapping Moving Cameras in Planar Scenes. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Lin-Yu Tseng 0001, Wen-Ching Chen |
The Systematic Trajectory Search Algorithm for Feedforward Neural Network Training. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kalyanmoy Deb, Nikhil Padhye, Ganesh Neema |
Interplanetary Trajectory Optimization with Swing-Bys Using Evolutionary Multi-objective Optimization. |
ISICA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Byron M. Yu, John P. Cunningham, Krishna V. Shenoy, Maneesh Sahani |
Neural Decoding of Movements: From Linear to Nonlinear Trajectory Models. |
ICONIP (1) |
2007 |
DBLP DOI BibTeX RDF |
Nonlinear dynamical models, nonlinear state estimation, neural decoding, neural prosthetics, expectation-propagation, Gaussian quadrature |
17 | Chan-Hyun Kang, Jung-Rae Hwang, Ki-Joune Li |
Trajectory Analysis for Soccer Players. |
ICDM Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Cheng Li 0015, Bin Liang 0001, Wenfu Xu |
Autonomous Trajectory Planning of Free-floating Robot for Capturing Space Target. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Thomas M. Howard, Alonzo Kelly |
Trajectory and Spline Generation for All-Wheel Steering Mobile Robots. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Kazunori Ohno, Takafumi Nomura, Satoshi Tadokoro |
Real-Time Robot Trajectory Estimation and 3D Map Construction using 3D Camera. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | José-Luis Blanco, Javier González 0001, Juan-Antonio Fernández-Madrigal |
The Trajectory Parameter Space (TP-Space): A New Space Representation for Non-Holonomic Mobile Robot Reactive Navigation. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Kyoung Wook Min, Ju-Wan Kim, Jong Hyun Park |
Optimal Route Determination Technology Based on Trajectory Querying Moving Object Database. |
DEXA |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yu Qiao 0001, Makoto Yasuhara |
Recover Writing Trajectory from Multiple Stroked Image Using Bidirectional Dynamic Search. |
ICPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jae-Woo Chang, Jung-Ho Um, Wang-Chien Lee |
A New Trajectory Indexing Scheme for Moving Objects on Road Networks. |
BNCOD |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Petko Bakalov, Vassilis J. Tsotras |
Continuous Spatiotemporal Trajectory Joins. |
GSN |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Weiqi Li |
Dynamics of Local Search Trajectory in Traveling Salesman Problem. |
J. Heuristics |
2005 |
DBLP DOI BibTeX RDF |
dynamical complexity, heuristics, local search, traveling salesman problem |
17 | Lei Feng, Yong He 0001, Qin Zhang |
Tractor-Implement Dynamic Trajectory Model for Automated Navigation Applications. |
ICITA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Tatiana F. Filippova |
Trajectory Tubes to Impulsive Control Systems. |
LSSC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Claudio Piciarelli, Gian Luca Foresti, Lauro Snidaro |
Trajectory clustering and its applications for video surveillance. |
AVSS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | H. M. Prasanna, Debasish Ghose, M. Seetharama Bhat, Chiranjib Bhattacharyya, J. Umakant |
Ascent Phase Trajectory Optimization for a Hypersonic Vehicle Using Nonlinear Programming. |
ICCSA (4) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | San-Yih Hwang, Ying-Han Liu, Jeng-Kuen Chiu, Ee-Peng Lim |
Mining Mobile Group Patterns: A Trajectory-Based Approach. |
PAKDD |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Xuesong Wang 0001, Yuhu Cheng, Wei Sun |
Iterative Learning Controller for Trajectory Tracking Tasks Based on Experience Database. |
ICMLC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Vasileios Mezaris, Ioannis Kompatsiaris, Michael G. Strintzis |
Video object segmentation using Bayes-based temporal tracking and trajectory-based region merging. |
IEEE Trans. Circuits Syst. Video Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Chih-Keng Chen, James Hwang |
PD-type Iterative Learning Control for Trajectory Tracking of a Pneumatic X-Y Table with Disturbances. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Christophe Grand, Faïz Ben Amar, Frédéric Plumet, Philippe Bidaud |
Decoupled Control of Posture and Trajectory of the Hybrid Wheel-legged Robot Hylos. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Takayuki Matsuno, Toshio Fukuda, Yasuhisa Hasegawa |
Insertion of Long Peg into Tandem Shallow Hole Using Search Trajectory Generation without Force Feedback. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Masahiro Doi, Yasuhisa Hasegawa, Toshio Fukuda |
Passive Trajectory Control of the Lateral Motion in Bipedal Walking. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Shigeru Sarata, Hisashi Osumi, Yoshihiro Kawai, Fumiaki Tomita |
Trajectory Arrangement based on Resistance Force and Shape of Pile at Scooping Motion. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Florent Lamiraux, Etienne Ferre, Erwan Vallee |
Kinodynamic Motion Planning: Connecting Exploration Trees using Trajectory Optimization Methods. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Congying Li, Daquan Tang, Anli Shang, Wenjin Gu, Ruiqi Wang |
Flatness based real-time trajectory generation for acceleration control of agile STT missile with constraints. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yu Guo, Weili Hu |
Iterative learning control of wheeled robot trajectory tracking. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ehsan Azimi, Mostafa Ghobadi, Ehsan Tarkesh Esfahani, Mehdi Keshmiri, Alireza Fadaei Tehrani |
Three-Dimensional Smooth Trajectory Planning Using Realistic Simulation. |
RoboCup |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Xusheng Lei, Jianbo Su |
Application of RBFNN for Humanoid Robot Real Time Optimal Trajectory Generation in Running. |
ISNN (2) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Hasan Temurtas, Fevzullah Temurtas, Nejat Yumusak |
Model Based Predictive Robotic Manipulator Control with Sinusoidal Trajectory and Random Disturbances. |
ICAISC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Zbigniew Pietrzykowski |
Fuzzy Linear Programming in Ship Trajectory Optimization in a Restricted Area. |
ICAISC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Eduardo José Solteiro Pires, Paulo B. de Moura Oliveira, José António Tenreiro Machado |
Multi-objective Genetic Manipulator Trajectory Planner. |
EvoWorkshops |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Zhenfeng He, Lanfen Lin, Xueying Ma |
Design, modeling and trajectory generation of a kind of four wheeled omni-directional vehicle. |
SMC (7) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mei Han, Wei Xu 0007, Hai Tao, Yihong Gong |
An Algorithm for Multiple Object Trajectory Tracking. |
CVPR (1) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Glozman, Moshe Shoham |
Flexible Needle Steering and Optimal Trajectory Planning for Percutaneous Therapies. |
MICCAI (2) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Michal Rewienski, Jacob K. White 0001 |
A trajectory piecewise-linear approach to model order reduction and fast simulation of nonlinear circuits and micromachined devices. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Theo C. Ruys, Ed Brinksma |
Managing the verification trajectory. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Model checking, Software configuration management, Computer-aided verification |
17 | Zaher Al Aghbari, Kunihiko Kaneko, Akifumi Makinouchi |
Content-trajectory approach for searching video databases. |
IEEE Trans. Multim. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Xiaofeng Meng 0001, Zhiming Ding |
DSTTMOD: A Future Trajectory Based Moving Objects Database. |
DEXA |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Yutaka Yanagisawa, Jun-ichi Akahani, Tetsuji Satoh |
Shape-Based Similarity Query for Trajectory of Mobile Objects. |
Mobile Data Management |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ricolindo Cariño, Ioana Banicescu, Ravi K. Vadapalli, Charles A. Weatherford, Jianping Zhu |
Parallel Adaptive Quantum Trajectory Method for Wavepacket Simulations. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Choon-Bo Shim, Jae-Woo Chang |
Efficient Similar Trajectory-Based Retrieval for Moving Objects in Video Databases. |
CIVR |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Wei-Qi Yan 0001, Mohan S. Kankanhalli |
Motion trajectory based video authentication. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Naoyuki Ichimura |
Stochastic Filtering for Motion Trajectory in Image Sequences Using a Monte Carlo Filter with Estimation of Hyper-Parameters. |
ICPR (4) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Yousef Al-Ohali, Mohamed Cheriet, Ching Y. Suen |
Efficient Estimation of Pen Trajectory from Off-Line Handwritten Words. |
ICPR (3) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jeremy Yermiyahou Kaminski, Mina Teicher |
General Trajectory Triangulation. |
ECCV (2) |
2002 |
DBLP DOI BibTeX RDF |
Structure from motion |
17 | Yuan Zhou, Quan-Lin Li, Songde Ma |
Visualization of Geostress Tensor along Oil Well Trajectory. |
Computer Graphics International |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Sang-Hack Jung, Camillo J. Taylor |
Camera Trajectory Estimation Using Inertial Sensor Measurements and Structure from Motion Results. |
CVPR (2) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Alexander S. Poznyak, Wen Yu 0001, Edgar N. Sánchez, José P. Pérez |
Nonlinear adaptive trajectory tracking using dynamic neural networks. |
IEEE Trans. Neural Networks |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Ching-Tsun Chou |
The Mathematical Foundation fo Symbolic Trajectory Evaluation. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|