1095 search results - page 123 / 219 » Algebraic Guide Generation |
125
click to vote
SCAM
2007
IEEE
16 years 15 days 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...
165
click to vote
EVOW
2007
Springer
16 years 12 days 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...
149
click to vote
FMCAD
2007
Springer
16 years 12 days 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...
194
click to vote
ILP
2007
Springer
16 years 11 days 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...
162
click to vote
MDM
2007
Springer
16 years 11 days 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...