Sciweavers

21094 search results - page 385 / 4219
» An experiment using DLV-K
Sort
View
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 11 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
ACG
2006
Springer
15 years 10 months ago
Enhancing Search Efficiency by Using Move Categorization Based on Game Progress in Amazons
Amazons is a two-player perfect information game with a high branching factor, particularly in the opening. Therefore, improving the efficiency of the search is important for impro...
Yoshinori Higashiuchi, Reijer Grimbergen
ACIVS
2006
Springer
15 years 10 months ago
Interactive Learning of Scene Context Extractor Using Combination of Bayesian Network and Logic Network
The vision-based scene understanding technique that infers scene-interpreting contexts from real-world vision data has to not only deal with various uncertain environments but also...
Keum-Sung Hwang, Sung-Bae Cho
ANNPR
2006
Springer
15 years 10 months ago
Support Vector Regression Using Mahalanobis Kernels
Abstract. In our previous work we have shown that Mahalanobis kernels are useful for support vector classifiers both from generalization ability and model selection speed. In this ...
Yuya Kamada, Shigeo Abe
EELC
2006
121views Languages» more  EELC 2006»
15 years 10 months ago
Simulating Meaning Negotiation Using Observational Language Games
In this article, we study the emergence of associations between words and concepts using the self-organizing map. In particular, we explore the meaning negotiations among communica...
Tiina Lindh-Knuutila, Timo Honkela, Krista Lagus