11 citations
4 papers
Vision-Language Modeling with Regularized Spatial Transformer Networks for All Weather Crosswind Landing of Aircraft
Debabrata Pal, Anvita Singh, Saumya Saumya +1
The intrinsic capability of the Human Vision System (HVS) to perceive depth of field and failure of Instrument Landing Systems (ILS) stimulates a pilot to perform a vision-based ma…
A Simplification of a Real-Time Verification Problem
Indranil Saha, Janardan Misra, Suman Roy
We revisit the problem of real-time verification with dense dynamics using timeout and calendar based models and simplify this to a finite state verification problem. To overcome t…
A Randomized Algorithm for 3-SAT
Subhas Kumar Ghosh, Janardan Misra
In this work we propose and analyze a simple randomized algorithm to find a satisfiable assignment for a Boolean formula in conjunctive normal form (CNF) having at most 3 literals…
Some Results On Convex Greedy Embedding Conjecture for 3-Connected Planar Graphs
Subhas Kumar Ghosh, Koushik Sinha
A greedy embedding of a graph into a metric space is a function such that in the embedding for every pair of non-adjacent vertices …