Sciweavers

2440 search results - page 328 / 488
» Abstraction Learning
Sort
View
ADMA
2005
Springer
149views Data Mining» more  ADMA 2005»
14 years 3 months ago
A New Support Vector Machine for Data Mining
Abstract. This paper proposes a new support vector machine (SVM) with a robust loss function for data mining. Its dual optimal formation is also constructed. A gradient based algor...
Haoran Zhang, Xiaodong Wang, Changjiang Zhang, Xiu...
AIIA
2005
Springer
14 years 3 months ago
A Semantic Kernel to Exploit Linguistic Knowledge
Abstract. Improving accuracy in Information Retrieval tasks via semantic information is a complex problem characterized by three main aspects: the document representation model, th...
Roberto Basili, Marco Cammisa, Alessandro Moschitt...
CAV
2005
Springer
99views Hardware» more  CAV 2005»
14 years 3 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
CEEMAS
2005
Springer
14 years 3 months ago
Modelling of Agents' Behavior with Semi-collaborative Meta-agents
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
Jan Tozicka, Filip Zelezný, Michal Pechouce...
EMMCVPR
2005
Springer
14 years 3 months ago
Reverse-Convex Programming for Sparse Image Codes
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...
Matthias Heiler, Christoph Schnörr