1705 search results - page 125 / 341 » Representing Constraints with Automata |
141
click to vote
CANDC
2005
ACM
15 years 6 months ago
2005
ACM
A prototype system for the automatic evolution of biomimetic structures using structural automata is described and its utility for generating digital sculpture is demonstrated. Sc...
149
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
134
click to vote
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
The sequence-pair was proposed in 1994 as a representation of the packing of rectangles of general structure. Since then, there have been e orts to expand its applicability over s...
122
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
138
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Network Intrusion Detection Systems (NIDS) are more and more important in today’s network security for identifying and preventing malicious attacks over the network. This pape...