1722 search results - page 169 / 345 » Generating Tests from Counterexamples |
ICML
2005
IEEE
14 years 10 months ago
2005
IEEE
A significant challenge in developing planning systems for practical applications is the difficulty of acquiring the domain knowledge needed by such systems. One method for acquir...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
This demonstration showcases the STEP system for natural language access to relational databases. In STEP an administrator authors a highly structured semantic grammar through cou...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
—Simultaneous Localization And Mapping (SLAM) is one of the major challenges in mobile robotics. Probabilistic techniques using high-end range finding devices are well establishe...
DIAL
2006
IEEE
14 years 3 months ago
2006
IEEE
It is an important topic for segmentation on how to merge the over-segmented subimages of characters into integral characters. The conventional character segmentation has been mos...
ISNN
2005
Springer
14 years 2 months ago
2005
Springer
Load forecasting has become in recent years one of the major areas of research in electrical engineering. In a deregulated, competitive power market, utilities tend to maintain the...