7978 search results - page 797 / 1596 » Combining shared-coin algorithms |
189
click to vote
FM
2003
Springer
16 years 23 days ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
211
click to vote
DBKDA
2010
IEEE
16 years 19 days ago
2010
IEEE
Abstract—XML indexing and search has become an important topic, and twig joins are key building blocks in XML search systems. This paper describes a novel approach using a nested...
220
click to vote
ICCAD
2002
IEEE
16 years 15 days ago
2002
IEEE
—We present efficient computational methods for scattered point and meshless analysis of electrostatic microelectromechanical systems (MEMS). Electrostatic MEM devices are govern...
179
click to vote
IEEEMSP
2002
IEEE
16 years 14 days ago
2002
IEEE
— This paper describes a Hidden Markov Model (HMM)-based method of automatic transcription of MIDI (Musical Instrument Digital Interface) signals of performed music. The problem ...
213
click to vote
SMA
2009
ACM
16 years 6 days ago
2009
ACM
Principal curvatures and principal directions are fundamental local geometric properties. They are well defined on smooth surfaces. However, due to the nature as higher order di...