2018 search results - page 239 / 404 » Code Normal Forms |
110
click to vote
QEST
2008
IEEE
15 years 8 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
100
click to vote
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
130
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— The capacity of multiple input multiple output (MIMO) system over wireless channels has been investigated analytically and by simulation over different types of wireless fading...
114
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
Gait has received much attention from researchers in the vision field due to its utility in walker identification. One of the key issues in gait recognition is how to extract di...
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...