Sciweavers

417 search results - page 65 / 84
» In Search of the Best Constraint Satisfaction Search
Sort
View
CP
1998
Springer
15 years 2 months ago
Error-Correcting Source Code
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho
WWW
2009
ACM
15 years 10 months ago
Understanding user's query intent with wikipedia
Understanding the intent behind a user's query can help search engine to automatically route the query to some corresponding vertical search engines to obtain particularly re...
Jian Hu, Gang Wang, Frederick H. Lochovsky, Jian-T...
AAAI
1997
14 years 11 months ago
PST: The Provider Selection Tool
Oxford Health Plans, Inc. is a managed care organization whose goal is to deliver cost-effective, high-quality health care. Oxford’s product lines include traditional health mai...
Howard Marmorstein, Jayesh Ghia, Sandeep Sathaye, ...
CIRA
2007
IEEE
274views Robotics» more  CIRA 2007»
15 years 4 months ago
Adaptive Object Tracking using Particle Swarm Optimization
—This paper presents an automatic object detection and tracking algorithm by using particle swarm optimization (PSO) based method, which is a searching algorithm inspired by the ...
Yuhua Zheng, Yan Meng
ENGL
2008
81views more  ENGL 2008»
14 years 9 months ago
GA-based Optimization of Sigma-delta Modulators for Wireless Transceivers
Abstract--Over-sampling sigma-delta analog-todigital converters (ADCs) are one of the key building blocks of state of the art wireless transceivers. In sigma-delta modulator design...
Babita R. Jose, P. Mythili, Jimson Mathew