9405 search results - page 466 / 1881 » Computing a Model of Set Theory |
201
click to vote
AOSE
2005
Springer
16 years 1 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
188
click to vote
CSCLP
2007
Springer
16 years 1 months ago
2007
Springer
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of ...
210
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
How can game designers realize the balance of “educational function” and “entertainment” in a Computer-based Educational Game (CEG)? The concept of IMS learning design (LD...
157
click to vote
SUM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...
185
click to vote
ECAL
2005
Springer
16 years 1 months ago
2005
Springer
The idea that the biota can regulate the abiotic components of their environment to levels suitable for life has attracted criticism from neo-Darwinian theorists but is still a via...