Sciweavers

2957 search results - page 498 / 592
» Processing Self Corrections
Sort
View
PVLDB
2008
136views more  PVLDB 2008»
15 years 5 months ago
Keyword query cleaning
Unlike traditional database queries, keyword queries do not adhere to predefined syntax and are often dirty with irrelevant words from natural languages. This makes accurate and e...
Ken Q. Pu, Xiaohui Yu
TVLSI
2008
152views more  TVLSI 2008»
15 years 5 months ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...
IAJIT
2010
141views more  IAJIT 2010»
15 years 4 months ago
Complex Gain Predistortion in WCDMA Power Amplifiers with Memory Effects
: Power amplifiers are essential components in communication systems and are inherently nonlinear. The nonlinearity creates spectral growth beyond the signal bandwidth, which inter...
Pooria Varahram, Somayeh Mohammady, Mohd Hamidon, ...
ICFEM
2010
Springer
15 years 4 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
ICRA
2010
IEEE
127views Robotics» more  ICRA 2010»
15 years 4 months ago
Consistent mapping of multistory buildings by introducing global constraints to graph-based SLAM
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...
Michael Karg, Kai M. Wurm, Cyrill Stachniss, Klaus...