Publikationer pr. år
Publikationer pr. år
Publikationer
Søgeresultater
-
2024
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
Hofmann, T. & Claßen, J., 2024, ArXiv.org - Cornell University.Publikation: Working paper › Preprint
Åben adgangFil -
2020
An Experimental Analysis of Indoor Spatial Queries: Modeling, Indexing, and Processing
Liu, T., Li, H., Lu, H., Cheema, M. A. & Shou, L., 2020, ArXiv.org - Cornell University, (CoRR).Publikation: Working paper › Preprint
-
Comparing Alternative Route Planning Techniques: A Web-based Demonstration and User Study
Li, L., Cheema, M. A., Lu, H., Ali, M. E. & Toosi, A. N., 2020, ArXiv.org - Cornell University, (CoRR).Publikation: Working paper › Preprint
-
2012
Efficient Spatial Keyword Search in Trajectory Databases
Cong, G., Lu, H., Ooi, B. C., Zhang, D. & Zhang, M., 2012, CoRR, Cornell University Library, 12 s.Publikation: Working paper › Preprint