6020 search results - page 984 / 1204 » A New Approach to Model Counting |
200
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Augmented Virtual Environments(AVE) are very effective in the application of surveillance, in which multiple video streams are projected onto a 3D urban model for better visualiza...
173
click to vote
JCS
2011
15 years 1 months ago
2011
Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which lead...
194
click to vote
TMM
2011
15 years 1 months ago
2011
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
225
click to vote
BCB
2010
15 years 1 months ago
2010
We present a new method for identifying gene sets associated with labeled samples, where the labels can be case versus control, or genotype differences. Existing approaches to thi...
215
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Stochastic dependency parsers can achieve very good results when they are trained on large corpora that have been manually annotated. Active learning is a procedure that aims at r...