Sciweavers

417 search results - page 65 / 84
» In Search of the Best Constraint Satisfaction Search
Sort
View
CP
1998
Springer
15 years 10 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
16 years 6 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
15 years 7 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»
16 years 13 days 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»
15 years 6 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