Sciweavers

2098 search results - page 135 / 420
» Syntactic Topic Models
Sort
View
ENTCS
2006
125views more  ENTCS 2006»
13 years 9 months ago
Liveness Checking as Safety Checking for Infinite State Spaces
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...
Viktor Schuppan, Armin Biere
CORR
1999
Springer
59views Education» more  CORR 1999»
13 years 8 months ago
HMM Specialization with Selective Lexicalization
We present a technique which complements Hidden Markov Models by incorporating some lexicalized states representing syntactically uncommon words. 'Our approach examines the d...
Jin-Dong Kim, Sang-Zoo Lee, Hae-Chang Rim
WSC
2000
13 years 10 months ago
Simulation within the railroad environment
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,...
CRV
2009
IEEE
163views Robotics» more  CRV 2009»
14 years 3 months ago
Simple 3D Reconstruction of Single Indoor Image with Perspective Cues
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...
Jingyuan Huang, Bill Cowan
ICONIP
2008
13 years 10 months ago
Neurocognitive Approach to Creativity in the Domain of Word-Invention
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...
Maciej Pilichowski, Wlodzislaw Duch