6020 search results - page 642 / 1204 » A New Approach to Model Counting |
261
click to vote
RT
1999
Springer
15 years 11 months ago
1999
Springer
The dramatically increasing size of polygonal models resulting from 3D scanning devices and advanced modeling techniques requires new approaches to reduce the load of geometry tran...
199
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
253
click to vote
KI
1997
Springer
15 years 11 months ago
1997
Springer
One of the fundamental problems in the eld of mobile robotics is the estimation of the robot's position in the environment. Position probability grids have been proven to be a...
162
click to vote
APNOMS
2006
Springer
15 years 11 months ago
2006
Springer
The NGN convergence services will play an important role to consolidate the deployment of NGN at the initial phase. At the initial stage, scenario-based approach is expected to act...
175
click to vote
ACL
2007
15 years 8 months ago
2007
We propose a novel approach to crosslingual language model (LM) adaptation based on bilingual Latent Semantic Analysis (bLSA). A bLSA model is introduced which enables latent topi...