2905 search results - page 131 / 581 » Formal Memetic Algorithms |
AIMSA
2008
Springer
14 years 4 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
ASM
2004
ASM
14 years 3 months ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
RE
1999
Springer
14 years 2 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...
KR
1992
Springer
14 years 2 months ago
1992
Springer
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...