18,983 results
Search Results
2. Anomaly Detection and Localization for Images of Running Paper Web in Paper Manufacturing.
3. Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper).
4. HCI Papers Cite HCI Papers, Increasingly So.
5. PaperWeaver: Enriching Topical Paper Alerts by Contextualizing Recommended Papers with User-collected Papers.
6. Standard- und Individualsoftware in der Kommunalverwaltung: Working Paper.
7. Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper.
8. A Fine-grained citation graph for biomedical academic papers: the finding-citation graph.
9. An Improved Golden Jackal Optimization Based on New Local Search Operator for Global Optimization: Invited Paper.
10. One-Bit Underdetermined DOA Estimation with Sparse Arrays via Structured Covariance Reconstruction: Invited Paper.
11. Position Paper: Leveraging Large Language Models for Cybersecurity Compliance.
12. Position Paper: Exploring Security and Privacy Needs of d/Deaf Individuals.
13. Position Paper: Think Globally, React Locally - Bringing Real-Time Reference-Based Website Phishing Detection on macOS.
14. Lightweight Cryptographic Algorithms: A Position Paper.
15. Formalising Half of a Graduate Textbook on Number Theory (Short Paper).
16. Robust Mean Estimation by All Means (Short Paper).
17. Graphical Rewriting for Diagrammatic Reasoning in Monoidal Categories in Lean4 (Short Paper).
18. Long-Term Landmark and Route Memory Retention Acquired in a Real-World Map-Aided Navigation Task (Short Paper).
19. The Senators Problem: A Design Space of Node Placement Methods for Geospatial Network Visualization (Short Paper).
20. An Ontology and Geospatial Knowledge Graph for Reasoning About Cascading Failures (Short Paper).
21. Assessing Perceived Route Difficulty in Environments with Different Complexity (Short Paper).
22. Towards a General Framework for Co-Location (Short Paper).
23. Wheelchair Users Navigational Behavior: Insights from Eye Movement Data and Environment Legibility (Short Paper).
24. Formalizing a Unique Space-Time Grammatical Mapping in a North American Indigenous Language Family (Short Paper).
25. Towards Formalizing Concept Drift and Its Variants: A Case Study Using Past COSIT Proceedings (Short Paper).
26. Exploring Discrete Spatial Heterogeneity Across Quantiles: A Combination Approach of Generalized Lasso and Conditional Quantile Regression (Short Paper).
27. Four Arguments Why Places and Information About Places Are Inextricably Interwoven (Short Paper).
28. Inferring the Origin of Linguistic Features from an Atlas: A Case Study of Swiss-German Dialects. (Short Paper).
29. How Do People Parse Dynamic Maps? Insights from Event Segmentation Experiments (Short Paper).
30. Exploring the Relation Between Sense of Direction and Spatial Anxiety in Everyday Mobile Map App Use (Short Paper).
31. Navigation Challenges in Urban Areas for Persons with Mobility Restrictions (Short Paper).
32. Large Language Models: Testing Their Capabilities to Understand and Explain Spatial Concepts (Short Paper).
33. Comparisons of Chicago Neighborhood Boundaries from Crowdsourced Resident Drawings (Short Paper).
34. The Role of Gaze and the Semantics of Demonstratives in Referent Selection (Short Paper).
35. Towards Statistically Significant Taxonomy Aware Co-Location Pattern Detection (Short Paper).
36. Evaluating the Ability of Large Language Models to Reason About Cardinal Directions (Short Paper).
37. A Logic of East and West for Intervals (Short Paper).
38. Position Paper: On the Application of Recursive Inter-Network Architecture to the Future Quantum-Enabled Internet.
39. LimGen: Probing the LLMs for Generating Suggestive Limitations of Research Papers.
40. On Topic Extraction and Bibliometric Analysis of Phonetic and Phonology Studies of Min Dialects: Based on the Research Papers of Mainland and Taiwan, China Since 1978.
41. Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree?
42. Short Paper: An Efficient Framework for Supporting Nested Transaction in STMs.
43. Frugal Algorithm Selection (Short Paper).
44. Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination (Short Paper).
45. An Investigation of Generic Approaches to Large Neighbourhood Search (Short Paper).
46. Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper).
47. On the Complexity of Integer Programming with Fixed-Coefficient Scaling (Short Paper).
48. Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries (Short Paper).
49. Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper).
50. NRK at FoRC 2024 Subtask I: Exploiting BERT-Based Models for Multi-class Classification of Scholarly Papers.
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.