1095 search results - page 123 / 219 » Algebraic Guide Generation |
SCAM
2007
IEEE
14 years 3 months ago
2007
IEEE
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
EVOW
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
FMCAD
2007
Springer
14 years 3 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
ILP
2007
Springer
14 years 3 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
MDM
2007
Springer
14 years 3 months ago
2007
Springer
This demonstration presents iPDA, a system to support privacy-preserving data access in location-based mobile services. The iPDA system consists of three main components: 1) a mob...