930 search results - page 79 / 186 » Advanced Engineering Informatics |
104
click to vote
TASE
2008
IEEE
15 years 15 days ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
153
Voted
IWPC
2010
IEEE
14 years 11 months ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
124
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
216
Voted
KER
2011
14 years 3 months ago
2011
Data mining has become a well established discipline within the domain of Artificial Intelligence (AI) and Knowledge Engineering (KE). It has its roots in machine learning and st...
183
click to vote
CISIS
2011
IEEE
14 years 17 days ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...