Sciweavers

4872 search results - page 899 / 975
» CBR for Modeling Complex Systems
Sort
View
91
Voted
SYNTHESE
2010
59views more  SYNTHESE 2010»
15 years 2 months ago
Frege's Begriffsschrift as a lingua characteristica
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
Tapio Korte
TIP
2010
108views more  TIP 2010»
15 years 2 months ago
A Perceptually Relevant Approach to Ringing Region Detection
—An efficient approach toward a no-reference ringing metric intrinsically exists of two steps: first detecting regions in an image where ringing might occur, and second quantif...
Hantao Liu, Nick Klomp, Ingrid Heynderickx
138
Voted
TVCG
2010
153views more  TVCG 2010»
15 years 2 months ago
A Visual Analytics Approach to Understanding Spatiotemporal Hotspots
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
Ross Maciejewski, Stephen Rudolph, Ryan Hafen, Ahm...
VTC
2010
IEEE
143views Communications» more  VTC 2010»
15 years 2 months ago
Partner Selection and Power Control for Asymmetrical Collaborative Networks
—We derive an adaptive power control method for a collaborative network utilizing partner selection that aims to minimize the frame error rate (FER). We model a decodeand-forward...
Weisi Guo, Ioannis Chatzigeorgiou, Ian J. Wassell,...
CPAIOR
2010
Springer
15 years 2 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey