1011 search results - page 175 / 203 » The three dimensions of proofs |
196
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
167
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Three essential criteria are important for activity planning, including: (1) finding a group of attendees familiar with the initiator, (2) ensuring each attendee in the group to ...
175
click to vote
JCST
2010
15 years 28 days ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
157
click to vote
GLOBECOM
2007
IEEE
16 years 14 days ago
2007
IEEE
— The design of spatio-temporal power allocation schemes is considered for space-time coding over spatially correlated multiple-input multiple-output (MIMO) channels. The focus i...
144
click to vote
ICMI
2007
Springer
16 years 9 days ago
2007
Springer
This paper reports an experiment into the design of crossmodal icons which can provide an alternative form of output for mobile devices using audio and tactile modalities to commu...