7404 search results - page 492 / 1481 » New Tools in Education |
240
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
200
Voted
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Abstract. We present and discuss the results of an experimental analysis in the design of Boolean networks by means of genetic algorithms. A population of networks is evolved with ...
174
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
—While medical imaging typically provides massive amounts of data, the extraction of relevant information for predictive diagnosis remains a difficult challenge. Functional MRI ...
171
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
— Future power networks will be characterized by safe and reliable functionality against physical malfunctions and cyber attacks. This paper proposes a unified framework and adv...
211
click to vote
TII
2010
15 years 1 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...