7820 search results - page 177 / 1564 » Formalization of Time and Space |
181
click to vote
AIPS
2009
15 years 8 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
200
click to vote
COMPSEC
2004
15 years 7 months ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
157
click to vote
AML
2005
15 years 7 months ago
2005
es of orderings (an abstract version of real spectras of formally real fields), for which they are expressed as local-global principles: A property of quadratic forms (expressed as...
206
click to vote
IJCSA
2007
15 years 7 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
174
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...