In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
We present a technique which complements Hidden Markov Models by incorporating some lexicalized states representing syntactically uncommon words. 'Our approach examines the d...
A panel of individuals with expertise in the railroad industry provides an overview of Simulation within the Railroad Environment. The panelists discuss their work and highlight t...
Harald Krueger, Eric Vaillancourt, Ann M. Drummie,...
Image-based modeling is a longstanding research topic in computer vision. Reconstruction based on a single image is a particularly difficult example. This paper presents a simple...
One of the simplest creative act is the invention of a new word that captures some characteristics of objects or processes, for example industrial or software products, activity of...