2800 search results - page 165 / 560 » Fibrational Control Structures |
170
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
151
click to vote
ACL
1998
15 years 7 months ago
1998
Although indexes may overlap, the output of an automatic indexer is generally presented as a fiat and unstructured list of terms. Our purpose is to exploit term overlap and embedd...
154
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
206
click to vote
AI50
2006
15 years 10 months ago
2006
Abstract. This article discusses the issues of adaptive autonomous navigation as a challenge of artificial intelligence. We argue that, in order to enhance the dexterity and adapti...
169
click to vote
IWSOS
2009
Springer
16 years 29 days ago
2009
Springer
Self-organization, whereby through purely local interactions, global order and structure emerge, is studied broadly across many fields of science, economics, and engineering. We ...