6355 search results - page 904 / 1271 » From Logic to Games |
175
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
183
click to vote
DEXA
2007
Springer
16 years 1 months ago
2007
Springer
The retrieval problem is one of the main reasoning tasks for knowledge base systems. Given a knowledge base K and a concept C, the retrieval problem consists of finding all indivi...
197
Voted
FSKD
2007
Springer
16 years 1 months ago
2007
Springer
One of the challenges a decision maker faces is choosing a suitable rough set model to use for data analysis. The traditional algebraic rough set model classifies objects into th...
173
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
188
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...