Sciweavers

3339 search results - page 443 / 668
» Relational Learning by Imitation
Sort
View
HVC
2005
Springer
160views Hardware» more  HVC 2005»
14 years 4 months ago
Simultaneous SAT-Based Model Checking of Safety Properties
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
Zurab Khasidashvili, Alexander Nadel, Amit Palti, ...
WEBI
2005
Springer
14 years 4 months ago
Integrating Element and Term Semantics for Similarity-Based XML Document Clustering
Structured link vector model (SLVM) is a recently proposed document representation that takes into account both structural and semantic information for measuring XML document simi...
Jianwu Yang, William K. Cheung, Xiaoou Chen
ICML
2004
IEEE
14 years 4 months ago
Redundant feature elimination for multi-class problems
We consider the problem of eliminating redundant Boolean features for a given data set, where a feature is redundant if it separates the classes less well than another feature or ...
Annalisa Appice, Michelangelo Ceci, Simon Rawles, ...
SAC
2004
ACM
14 years 4 months ago
Knowledge discovery from doctor-patient relationship
The relationship between doctors and their patients is gaining more and more importance in the health care providing. It determines the compliance of the treatment and a part of t...
Jesús S. Aguilar-Ruiz, Raquel Costa, Federi...
ER
2004
Springer
179views Database» more  ER 2004»
14 years 4 months ago
XSLTGen: A System for Automatically Generating XML Transformations via Semantic Mappings
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
Stella Waworuntu, James Bailey