2905 search results - page 285 / 581 » Formal Memetic Algorithms |
121
click to vote
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
102
click to vote
BIS
2010
14 years 6 months ago
2010
Nowadays the software systems, including web portals, are developed from a priori assumptions about how the system will be used. However, frequently these assumptions hold only par...
VLC
2011
14 years 6 months ago
2011
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
WWW
2011
ACM
14 years 6 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...
79
Voted
TOG
2010
14 years 5 months ago
2010
Destination maps are navigational aids designed to show anyone within a region how to reach a location (the destination). Handdesigned destination maps include only the most impor...