2214 search results - page 147 / 443 » Complexity of Reasoning |
149
Voted
CIIA
2009
15 years 4 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
133
Voted
SAGT
2010
Springer
15 years 1 months ago
2010
Springer
Can learning algorithms find a Nash equilibrium? This is a natural question for several reasons. Learning algorithms resemble the behavior of players in many naturally arising gam...
141
Voted
ICCBR
2007
Springer
15 years 7 months ago
2007
Springer
The performance of a Case-Based Reasoning system relies on the integrity of its case base but in real life applications the available data used to construct the case base invariabl...
105
click to vote
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
In image based rendering (IBR), a 3D scene is recorded through a set of photos, and a novel view is rendered by assembling data from the photo set. Compression is essential to red...
128
Voted
TWC
2008
15 years 3 months ago
2008
This letter considers multiple symbol differential detection for multiple-antenna systems over flat Ricean-fading channels when partial channel state information (CSI) is available...