Sciweavers

2308 search results - page 290 / 462
» Representing Symbolic Reasoning
Sort
View
ER
2007
Springer
105views Database» more  ER 2007»
16 years 19 days ago
Clarifying Goal Models
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
Ivan Jureta, Stéphane Faulkner
ESWS
2007
Springer
16 years 19 days ago
Empowering Moodle with Rules and Semantics
This short paper describes preliminary ideas for empowering e-learning platform Moodle with rules and semantics. Many existing web applications already contain a lot of structured ...
Sergey Lukichev, Ion-Mircea Diaconescu, Adrian Giu...
GECCO
2007
Springer
170views Optimization» more  GECCO 2007»
16 years 19 days ago
An evolutionary keystroke authentication based on ellipsoidal hypothesis space
Keystroke authentication is a biometric method utilizing the typing characteristics of users. In this paper, we propose an evolutionary method for stable keystroke authentication....
Jae-Wook Lee, Sung-Soon Choi, Byung Ro Moon
ICCBR
2007
Springer
16 years 19 days ago
A Methodology for Analyzing Case Retrieval from a Clustered Case Memory
Abstract. Case retrieval from a clustered case memory consists in finding out the clusters most similar to the new input case, and then retrieving the cases from them. Although th...
Albert Fornells, Elisabet Golobardes, Josep Maria ...
RE
2007
Springer
16 years 17 days ago
Specifying Monitoring and Switching Problems in Context
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...
Mohammed Salifu, Yijun Yu, Bashar Nuseibeh