2110 search results - page 162 / 422 » Delegation Modeling with Paradigm |
168
click to vote
IJCAI
2003
15 years 8 months ago
2003
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
195
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an efficient hybrid feature selection model based on Support Vector Machine (SVM) and Genetic Algorithm (GA) for large healthcare databases. Even though SVM an...
133
click to vote
CN
2006
15 years 6 months ago
2006
Many current research efforts address the problem of personalizing the Web experience for each user with respect to user's identity and/or context. In this paper we propose a...
173
click to vote
FMSD
2006
15 years 6 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
178
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...