3339 search results - page 443 / 668 » Relational Learning by Imitation |
HVC
2005
Springer
14 years 4 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
WEBI
2005
Springer
14 years 4 months ago
2005
Springer
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...
ICML
2004
IEEE
14 years 4 months ago
2004
IEEE
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 ...
SAC
2004
ACM
14 years 4 months ago
2004
ACM
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...
ER
2004
Springer
14 years 4 months ago
2004
Springer
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...